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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	International journal on software tools for technology transfer Ročník 8; číslo 1; s. 37 - 56
Hlavný autor:	Mateescu, Radu
Médium:	Journal Article Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	Berlin Springer 01.02.2006 Springer Nature B.V
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!