Realising the Benefits of Formal Methods.

Published in: J. Univers. Comput. Sci. (2007)

Keyphrases

formal methods
model checking
knowledge based systems
model checker
formal analysis
formal specification
process algebra
software engineering
safety critical
artificial intelligence
temporal properties
provably correct
security properties
modeling language
case study
data mining
reactive systems
databases