Mechanizing Formal Methods: Opportunities and Challenges.

Published in: ZUM (1995)

Keyphrases

formal methods
model checking
formal specification
model checker
formal analysis
artificial intelligence
knowledge based systems
safety critical
process algebra
temporal properties
provably correct
software engineering
temporal logic
modeling language
lessons learned
real world
database
open source
data model