Formal Safety Analysis in Industrial Practice.

Ilyas Daskaya Michaela Huhn Stefan Milius

Published in: FMICS (2011)

Keyphrases

safety analysis
safety critical
nuclear power plant
formal methods
control system
fault model
artificial intelligence
formal specification
symbolic model checking
cooperative