Login / Signup
On the specification and verification of atomic swap smart contracts.
Ron van der Meyden
Published in:
CoRR (2018)
Keyphrases
</>
formal verification
asynchronous circuits
protocol specification
formal methods
model checking
supply chain
formal specification
graph cuts
high level
face verification
specification language
information systems
conceptual model
functional verification
neural network
database
verification method
colored petri nets