Experience Using Formal Methods for Specifying a Multi-Agent System.
Christopher A. RouffJames L. RashMichael G. HincheyPublished in: ICECCS (2000)
Keyphrases
- formal methods
- formal analysis
- knowledge based systems
- artificial intelligence
- model checking
- formal specification
- model checker
- safety critical
- provably correct
- software engineering
- process algebra
- temporal properties
- development lifecycle
- relational databases
- formal specification language
- database
- software systems
- case study
- data mining