When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-agent Protocol.
Jennifer A. DavisLaura R. HumphreyDerek B. KingstonPublished in: CAV (1) (2019)
Keyphrases
- formal methods
- formal analysis
- model checker
- multi agent
- provably correct
- protocol specification
- model checking
- security properties
- formal specification
- safety critical
- artificial intelligence
- knowledge based systems
- cooperative
- intelligent agents
- reactive systems
- process algebra
- temporal logic
- software engineering
- cryptographic protocols
- communication protocols
- development lifecycle
- machine learning