Login / Signup
Efficient handling of the fault space in functional safety analysis utilizing formal methods.
Alessandro Bernardini
Wolfgang Ecker
Ulf Schlichtmann
Published in:
VLSI-SoC (2016)
Keyphrases
</>
formal methods
safety critical
safety analysis
nuclear power plant
fault detection
fault model
formal analysis
model checker
data mining
knowledge based systems
fault tolerant
formal specification
fault diagnosis
software engineering
natural language
symbolic model checking
machine learning
real time