Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform.

Marco Bozzano Adolfo Villafiorita

Published in: SAFECOMP (2003)

Keyphrases

symbolic model checking
safety analysis
model checking
temporal logic
model checker
formal verification
partial observability
finite state
formal specification
formal methods
real time
planning domains
binary decision diagrams
reliability analysis