Research Goals for Formal Methods.

Steven M. German

Published in: ACM Comput. Surv. (1996)

Keyphrases

formal methods
safety critical
formal analysis
model checking
artificial intelligence
model checker
knowledge based systems
formal specification
process algebra
provably correct
software engineering
temporal logic
expert systems
distributed systems
reactive systems
information systems
machine learning