On the specification and verification of atomic swap smart contracts (extended abstract).
Ron van der MeydenPublished in: IEEE ICBC (2019)
Keyphrases
- extended abstract
- formal verification
- asynchronous circuits
- formal methods
- model checking
- protocol specification
- formal specification
- graph cuts
- supply chain
- smart grid
- specification language
- smart environments
- formal analysis
- databases
- verification method
- conceptual model
- database systems
- database
- high level
- information retrieval
- linear temporal logic
- real time