Formal Methods for Automated Diagnosis of Autosub 6000.
Juhan P. ErnitsRichard DeardenMiles PebodyPublished in: NASA Formal Methods (2009)
Keyphrases
- formal methods
- formal analysis
- model checking
- model checker
- safety critical
- knowledge based systems
- formal specification
- artificial intelligence
- process algebra
- automatic diagnosis
- medical diagnosis
- model based diagnosis
- software engineering
- provably correct
- development lifecycle
- fault diagnosis
- reactive systems
- case study
- formal specification language
- modeling language
- multi agent
- real world
- temporal properties