Formal Methods - Mathematics, Theory, Recipes or What?

Published in: Comput. J. (1992)

Keyphrases

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