Immaturity and Potential of Formal Methods: A Personal View.

Published in: FIW (2000)

Keyphrases

formal methods
formal specification
model checking
formal analysis
knowledge based systems
provably correct
process algebra
artificial intelligence
software engineering
safety critical
databases
machine learning
multiple views
model checker
temporal logic
database
fine grained
development lifecycle