Analyzing Cockpit Interfaces Using Formal Methods.

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

formal methods
safety critical
formal analysis
knowledge based systems
model checking
formal specification
artificial intelligence
software engineering
model checker
user interface
temporal properties
provably correct
modeling language
machine learning
reactive systems
process algebra
development lifecycle