Experience with Formal Methods in Critical Systems.

Susan L. Gerhart Dan Craigen Ted Ralston

Published in: IEEE Softw. (1994)

Keyphrases

formal methods
safety critical
formal analysis
provably correct
model checker
formal specification
knowledge based systems
artificial intelligence
distributed systems
management system
expert systems
embedded systems
reverse engineering
modeling language
software engineering
high level
case study
databases