Formal methods: the very idea - Some thoughts about why they work when they work.

Daniel M. Berry

Published in: Sci. Comput. Program. (2002)

Keyphrases

formal methods
formal analysis
knowledge based systems
artificial intelligence
model checking
formal specification
model checker
safety critical
provably correct
process algebra
security properties
high level
development lifecycle