Combining Formal Methods and Safety Analysis - The ForMoSA Approach.

Frank Ortmeier Andreas Thums Gerhard Schellhorn Wolfgang Reif

Published in: SoftSpez Final Report (2004)

Keyphrases

formal methods
safety critical
safety analysis
symbolic model checking
model checker
nuclear power plant
model checking
formal analysis
knowledge based systems
formal specification
artificial intelligence
software engineering
information systems
multi agent
control system