The highs and lows of deploying Formal Methods in Industry.

Guy H. Broadfoot

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2014)

Keyphrases

formal methods
formal analysis
safety critical
knowledge based systems
model checker
artificial intelligence
case study
model checking
formal specification
temporal properties
process algebra
expert systems
software engineering
building blocks
formal specification language