To split or to conjoin: the question in image computation

Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the terms of the transition relation, and the other based on recursive case splitting. We discuss when one technique outper...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Moon, In-Ho, Kukula, James H., Ravi, Kavita, Somenzi, Fabio
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied computing > Physical sciences and engineering > Engineering Boolean functions Data structures Formal verification Hardware > Emerging technologies Hardware > Robustness Manuals Moon Permission Reachability analysis Robustness Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Model checking Space exploration State-space methods Theory of computation > Logic > Verification by model checking
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!