Functional formal methods.

J Strother Moore

Published in: ICFP (2002)

Keyphrases

formal methods
formal analysis
safety critical
model checker
model checking
artificial intelligence
knowledge based systems
software engineering
formal specification
provably correct
process algebra
reactive systems
knowledge base
temporal properties
modeling language
open source