Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata.
Md Tauseef AlamRaju HalderAbyayananda MaitiPublished in: Frontiers Blockchain (2023)
Keyphrases
- model checking
- timed automata
- formal verification
- model checker
- coloured petri nets
- reachability analysis
- temporal logic
- automated verification
- cryptographic protocols
- symbolic model checking
- bounded model checking
- formal specification
- formal methods
- metadata
- program slicing
- content based publish subscribe
- information sharing
- semantic web
- information systems
- web services
- real time
- domain independent
- privacy preserving
- linear temporal logic
- distributed systems
- dynamic programming
- natural language