Login / Signup
Daniel Britten
ORCID
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Supply Chain
Functional Verification
Provably Correct
Pattern Detection
Top Venues
FTSCS
FMBC@CAV
SPLASH Companion
</>
Publications
</>
Daniel Britten
,
Vilhelm Sjöberg
,
Steve Reeves
Provably Correct Smart Contracts: An Approach using DeepSEA.
SPLASH Companion
(2022)
Daniel Britten
,
Steve Reeves
Modelling a Blockchain for Smart Contract Verification using DeepSEA.
FTSCS
(2022)
Daniel Britten
,
Vilhelm Sjöberg
,
Steve Reeves
Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper).
FMBC@CAV
(2021)