Observations on formal safety analysis in practice.

Michaela Huhn Stefan Milius

Published in: Sci. Comput. Program. (2014)

Keyphrases

dynamic programming
safety analysis
safety critical
nuclear power plant
formal methods
control system
symbolic model checking
fault model
neural network
formal specification
real time
artificial intelligence
model checking