Brendan Massey

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 2

Top Topics

Smart Environments

Safety Analysis

Domain Independent

Declarative Language

Top Venues

Publications

Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
Verifying Declarative Smart Contracts. ICSE (2024)
Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
Safety Verification of Declarative Smart Contracts. CoRR (2022)