Login / Signup
An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts.
Asma Lahbib
Abderrahim Ait Wakrime
Anis Laouiti
Khalifa Toumi
Steven Martin
Published in:
AINA (2020)
Keyphrases
</>
formal methods
event detection
formal analysis
model checking
formal specification
supply chain
information systems
formal verification
data sets
formal model
events occurring
verification method
signature verification
event sequences
event driven
news articles
process model
search engine
genetic algorithm