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ženo v:

Podrobná bibliografie
Vydáno 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í příspěvek
Jazyk:	angličtina
Vydáno:	Berlin Springer 01.02.2006 Springer Nature B.V
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!