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

Full description

Saved in:

Bibliographic Details
Published in:	International journal on software tools for technology transfer Vol. 8; no. 1; pp. 37 - 56
Main Author:	Mateescu, Radu
Format:	Journal Article Conference Proceeding
Language:	English
Published:	Berlin Springer 01.02.2006 Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!