Improving system reliability via model checking: The FSAP/NuSMV-SA safety analysis platform (2003)
by
Marco Bozzano
,
Adolfo Villafiorita
| Citations: | 18 - 1 self |
BibTeX
@MISC{Bozzano03improvingsystem,
author = {Marco Bozzano and Adolfo Villafiorita},
title = {Improving system reliability via model checking: The FSAP/NuSMV-SA safety analysis platform },
year = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Safety critical systems are becoming more complex, both in the type of functionality they provide and in the way they are demanded to interact with their environment. Such growing complexity requires an adequate increase in the capability of safety engineers to assess system safety, including analyzing the bahaviour of a system in degraded situations. Formal verification
