Building Executable Secure Design Models for Smart Contracts with Formal Methods.
Weifeng XuGlenn A. FinkPublished in: CoRR (2019)
Keyphrases
- formal methods
- process algebra
- formal specification
- formal analysis
- safety critical
- case study
- distributed systems
- model checking
- metamodel
- artificial intelligence
- model checker
- design process
- building blocks
- multi agent
- software architecture
- information systems
- reactive systems
- databases
- development lifecycle
- formal specification language