A Panacea or Academic Poppycock: Formal Methods Revisited.

Constance L. Heitmeyer

Published in: HASE (2005)

Keyphrases

formal methods
model checking
knowledge based systems
model checker
artificial intelligence
formal analysis
safety critical
provably correct
software engineering
database
process algebra
formal specification
temporal properties
development lifecycle
security properties
modeling language
real world
reactive systems