Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols.
Sudhani VermaDivakar YadavGirish ChandraPublished in: IEEE Access (2022)
Keyphrases
- formal methods
- formal analysis
- security properties
- model checking
- temporal properties
- artificial intelligence
- knowledge based systems
- model checker
- safety critical
- protocol specification
- provably correct
- formal specification
- software engineering
- development lifecycle
- process algebra
- communication protocol
- security protocols
- communication protocols
- temporal logic
- database