Where formal verification can help in functional safety analysis.

Alessandro Bernardini Wolfgang Ecker Ulf Schlichtmann

Published in: ICCAD (2016)

Keyphrases

formal verification
symbolic model checking
safety analysis
model checking
model checker
safety critical
nuclear power plant
control system
temporal logic
partial observability
artificial intelligence
symbolic representation
information systems
decision makers
formal specification
finite state