Safety Verification of Declarative Smart Contracts.
Haoxian ChenLan LuBrendan MasseyYuepeng WangBoon Thau LooPublished in: CoRR (2022)
Keyphrases
- safety analysis
- supply chain
- formal verification
- model checking
- high level
- declarative language
- nuclear power plant
- smart environments
- domain independent
- knowledge representation
- asynchronous circuits
- formal analysis
- signature verification
- person identification
- control system
- concurrent systems
- database systems
- false acceptance rate
- learning algorithm