Formal Methods: A Panacea or Academic Poppycock?

Constance L. Heitmeyer

Published in: ZUM (1997)

Keyphrases

formal methods
formal analysis
software engineering
model checking
artificial intelligence
model checker
knowledge based systems
safety critical
formal specification
provably correct
process algebra
temporal properties
formal specification language
machine learning
object oriented
modeling language