Formal Simulation and Verification of Solidity contracts in Event-B.

Jian Zhu Kai Hu Mamoun Filali Jean-Paul Bodeveix Jean-Pierre Talpin Haitao Cao

Published in: COMPSAC (2021)

Keyphrases

formal methods
formal analysis
event detection
model checking
information systems
supply chain
real time
event driven
database systems
artificial intelligence
databases
similarity measure
knowledge base
neural network
simulation study
news articles
simulation model
data sets
database
event sequences