Login / Signup
Formal Methods.
Michael Löwe
Published in:
CSMR (1997)
Keyphrases
</>
formal methods
model checking
knowledge based systems
formal analysis
software engineering
process algebra
artificial intelligence
model checker
safety critical
provably correct
formal specification
temporal properties
modeling language
databases
information systems
production system