Compositional verification using formal analysis for a flight critical system.

Published in: ITC (2014)

Keyphrases

formal analysis
formal methods
agent model
case study
ban logic
artificial intelligence
software engineering
information systems
high dimensional
civil aviation