Rich specifications for Ethereum smart contract verification.
Christian BrämMarco EilersPeter MüllerRobin SierraAlexander J. SummersPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- automated verification
- concurrent systems
- formal verification
- model checking
- model checker
- high level
- asynchronous circuits
- bounded model checking
- formal specification
- protocol specification
- supply chain
- formal methods
- case study
- face verification
- enabling technologies
- smart objects
- delay insensitive
- control flow
- revenue sharing
- contract net protocol
- verification method
- real world
- smart grid
- formal analysis
- smart environments
- temporal logic
- software development
- search engine