Formal Methods for Critical Systems.

Steven P. Miller

Published in: FMICS (2008)

Keyphrases

formal methods
knowledge based systems
safety critical
reactive systems
artificial intelligence
model checking
formal analysis
temporal properties
provably correct
machine learning
expert systems
formal specification
model checker
software engineering