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