Panel Discussion: Empirical versus Formal Methods.
Diana F. GordonHenry HexmoorRobert L. AxtellNenad IvezicPublished in: FAABS (2000)
Keyphrases
- formal methods
- panel discussion
- formal specification
- formal analysis
- safety critical
- artificial intelligence
- model checking
- knowledge based systems
- temporal properties
- provably correct
- artificial intelligence in medicine
- machine learning
- process algebra
- software engineering
- model checker
- web services
- formal specification language
- reactive systems
- information systems
- data mining
- development lifecycle