Simultaneous SAT-Based Model Checking of Safety Properties

We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and Temporal Induction methods for simultaneously verifying multiple safety properties on the same model. The most efficient...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Khasidashvili, Zurab, Nadel, Alexander, Palti, Amit, Hanna, Ziyad
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Bound Model Check Computer science control theory systems Conjunctive Normal Form Conjunctive Normal Form Formula Exact sciences and technology Model Check Safety Property Software Software engineering
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!