Using Formal Methods in a Retrospective Safety Case.

Lars-Henrik Eriksson

Published in: SAFECOMP (2004)

Keyphrases

formal methods
safety critical
formal analysis
formal specification
process algebra
knowledge based systems
model checking
software engineering
model checker
provably correct
machine learning
open source
databases
high level
security properties