An Overview of Some Formal Methods for Program Design.

Published in: Computer (1987)

Keyphrases

formal methods
safety critical
model checking
formal specification
formal analysis
case study
knowledge based systems
temporal properties
current status
development lifecycle
process algebra
control program
model checker
design patterns
building blocks
multi agent
database systems