Specification: The Biggest Bottleneck in Formal Methods and Autonomy.
Kristin Yvonne RozierPublished in: VSTTE (2016)
Keyphrases
- formal methods
- formal specification
- provably correct
- knowledge based systems
- formal analysis
- safety critical
- process algebra
- artificial intelligence
- model checking
- reactive systems
- software engineering
- model checker
- development lifecycle
- multi agent systems
- temporal properties
- cooperative
- specification language
- expert systems
- high level