Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol.

Babu Pillai Zhé Hóu Kamanashis Biswas Vallipuram Muthukkumarasamy

Published in: ICFEM (2023)

Keyphrases

formal verification
coloured petri nets
model checker
model checking
cryptographic protocols
bounded model checking
symbolic model checking
metadata
digital libraries
automated verification
web services
program slicing
temporal logic
lightweight
formal methods
expert systems
knowledge base