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

2003 ◽  
pp. 49-62 ◽  
Author(s):  
Marco Bozzano ◽  
Adolfo Villafiorita
Keyword(s):  
Model Checking ◽  
System Reliability ◽  
Safety Analysis ◽  
Analysis Platform

scholarly journals Craig Interpolation for the Integers: Results, Implementation, and Experiences

10.29007/9rxz ◽  
2018 ◽  
Author(s):  
Philipp Rümmer
Keyword(s):  
Model Checking ◽  
Formal Verification ◽  
Safety Analysis ◽  
Craig Interpolation ◽  
Integer Arithmetic ◽  
Theorem Provers ◽  
Smt Solvers ◽  
Versatile Tool ◽  
Runtime Infrastructure

Craig interpolation is a versatile tool in formal verification, in particular for generating intermediate assertions in safety analysis and model checking. Over the last years, a variety of interpolation procedures for linear integer arithmetic (and extensions) have been developed. I will give an overview of the existing algorithms and design choices, and then discuss implementations of such procedures within theorem provers and SMT solvers. In particular, I will describe an implementation done using the multi-paradigm language Scala, which is built on top of the Java runtime infrastructure, and evaluate performance and engineering aspects.

scholarly journals The xSAP Safety Analysis Platform

2016 ◽  
pp. 533-539 ◽  
Author(s):  
Benjamin Bittner ◽  
Marco Bozzano ◽  
Roberto Cavada ◽  
Alessandro Cimatti ◽  
Marco Gario ◽  
...  
Keyword(s):  
Safety Analysis ◽  
Analysis Platform

scholarly journals Integrating model checking with HiP-HOPS in model-based safety analysis

2015 ◽  
Vol 135 ◽  
pp. 64-80 ◽  
Author(s):  
Septavera Sharvia ◽  
Yiannis Papadopoulos
Keyword(s):  
Model Checking ◽  
Safety Analysis ◽  
Model Based

The FSAP/NuSMV-SA Safety Analysis Platform

2006 ◽  
Vol 9 (1) ◽  
pp. 5-24 ◽  
Author(s):  
Marco Bozzano ◽  
Adolfo Villafiorita
Keyword(s):  
Safety Analysis ◽  
Analysis Platform
Sign in / Sign up

Export Citation Format

Share Document