Reusable Formal Verification of DAG-based Consensus Protocols.
Nathalie BertrandPranav GhorpadeSasha RubinBernhard ScholzPavle SuboticPublished in: CoRR (2024)
Keyphrases
- formal verification
- model checking
- directed acyclic graph
- cryptographic protocols
- model checker
- automated verification
- bounded model checking
- software components
- symbolic model checking
- temporal logic
- open source
- communication protocols
- knowledge representation
- boolean functions
- communication protocol
- program slicing