C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems.
Abdelhakim Baouya
Salim Chehida
Saddek Bensalem
Marius Bozga
Published in:
SoMeT (2020)
Keyphrases
</>
formal methods
management system
formal analysis
knowledge based systems
lightweight
formal specification
model checker
artificial intelligence
expert systems
distributed systems
complex systems
model checking
big data
formal models
colored petri nets