Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems.

Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga

Browse the full SoMeT paper archive.