Are Formal Methods Relevant?

Ian J. Hayes Keijiro Araki David J. Duke Val E. Veraart

Published in: APSEC (1995)

Keyphrases

formal methods
model checking
formal analysis
knowledge based systems
model checker
artificial intelligence
safety critical
process algebra
formal specification
provably correct
software engineering
development lifecycle
formal specification language