On the Need for Practical Formal Methods.

Constance L. Heitmeyer

Published in: FTRTFT (1998)

Keyphrases

formal methods
model checking
formal analysis
safety critical
artificial intelligence
software engineering
model checker
process algebra
knowledge based systems
formal specification
databases
real world
provably correct
case study
relational databases