CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems

Boolean equation systems (Bess) provide a useful framework for modeling various verification problems on finite-state concurrent systems, such as equivalence checking and model checking. These problems can be solved on the fly (i.e., without constructing explicitly the state space of the system unde...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal on software tools for technology transfer Jg. 8; H. 1; S. 37 - 56
1. Verfasser:	Mateescu, Radu
Format:	Journal Article Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Berlin Springer 01.02.2006 Springer Nature B.V
Schlagworte:	Algorithms Applied sciences Boolean Boolean algebra Calculus Computer science; control theory; systems Demand analysis Equivalence Exact sciences and technology Libraries Software Software engineering Verification Equivalence relation Partial-order reduction Program library Finite state machine Partial ordering Verification State space method Mu calculus Modeling Temporal logic Program verification Boolean equation Software libraries Bisimulation Confluence Open systems Model checking Modal logic Boolean equation system Generic programming
ISSN:	1433-2779, 1433-2787
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!