Mechanized Formal Methods: Where Next?

Published in: World Congress on Formal Methods (1999)

Keyphrases

formal methods
formal analysis
formal specification
safety critical
knowledge based systems
provably correct
model checking
artificial intelligence
model checker
process algebra
software engineering
temporal properties
databases
security properties
multi agent systems
expert systems