Overview: Survey of Formal Methods in Industry.

Graeme I. P. Parkin Stephen Austin

Published in: FORTE (1993)

Keyphrases

formal methods
formal analysis
knowledge based systems
model checking
process algebra
safety critical
artificial intelligence
future trends
model checker
software engineering
temporal properties
formal specification
case study
data model
provably correct
formal specification language
life cycle