How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project.
Ricky W. ButlerGeorge HagenJeffrey MaddalonCésar A. MuñozAnthony NarkawiczGilles DowekPublished in: NASA Formal Methods (2010)
Keyphrases
- formal methods
- air traffic management
- development lifecycle
- model checker
- formal analysis
- formal specification
- model checking
- software engineering
- knowledge based systems
- safety critical
- process algebra
- case study
- artificial intelligence
- software development
- data mining
- formal specification language
- modeling language
- reactive systems
- distributed systems
- knowledge representation
- database systems
- machine learning