Login / Signup
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting.
Damiano Angeletti
Enrico Giunchiglia
Massimo Narizzano
Alessandra Puddu
Salvatore Sabina
Published in:
J. Autom. Reason. (2010)
Keyphrases
</>
safety critical
formal methods
safety analysis
cooperative
software systems
embedded systems
bounded model checking
information systems
expert systems
user interface
domain specific
medical images
agent architecture
formal verification
nuclear power plant