Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process.

Published in: ICST (2010)

Keyphrases

formal methods
model checking
safety critical
model checker
knowledge based systems
formal analysis
artificial intelligence
development lifecycle
formal specification
reactive systems
temporal properties
process algebra
software engineering
provably correct
database
multi agent systems
protocol specification