Using Theory Morphisms for Implementing Formal Methods Tools.

Achim D. Brucker Burkhart Wolff

Published in: TYPES (2002)

Keyphrases

formal methods
formal analysis
knowledge based systems
artificial intelligence
safety critical
process algebra
model checking
formal specification
model checker
provably correct
software engineering
temporal properties
expert systems
reactive systems
development lifecycle