A Survey of Smart Contract Formal Specification and Verification.
Palina TolmachYi LiShang-Wei LinYang LiuZengxiang LiPublished in: CoRR (2020)
Keyphrases
- formal specification
- model checking
- concurrent systems
- formal methods
- model checker
- temporal logic
- process algebra
- specification languages
- object oriented design
- formal verification
- specification language
- protocol specification
- supply chain
- reverse engineering
- data abstraction
- information systems
- epistemic logic
- real world
- database
- rule base
- fine grained
- software development
- programming language
- expert systems
- bounded model checking
- artificial intelligence
- computation tree logic