Minimal Assignments for Bounded Model Checking

A traditional counterexample to a linear-time safety property shows the values of all signals at all times prior to the error. However, some signals may not be critical to causing the failure. A succinct explanation may help human understanding as well as speed up algorithms that have to analyze man...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Ravi, Kavita, Somenzi, Fabio
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Boolean Formula Computer science control theory systems Conjunctive Normal Form Exact sciences and technology Partial Assignment Satisfying Assignment Software Software engineering Unit Clause
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!