Formal Methods in Practice.

Published in: Electron. Notes Theor. Comput. Sci. (1999)

Keyphrases

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