CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems
- 7 October 2005
- journal article
- Published by Springer Science and Business Media LLC in International Journal on Software Tools for Technology Transfer
- Vol. 8 (1), 37-56
- https://doi.org/10.1007/s10009-005-0194-9
Abstract
No abstract availableKeywords
This publication has 41 references indexed in Scilit:
- Efficient checking of behavioural relations and modal assertions using fixed-point inversionLecture Notes in Computer Science, 1995
- Efficient generation of counterexamples and witnesses in symbolic model checkingPublished by Association for Computing Machinery (ACM) ,1995
- Model checking and boolean graphsTheoretical Computer Science, 1994
- The concurrency workbenchACM Transactions on Programming Languages and Systems, 1993
- Computing behavioural relations, logicallyLecture Notes in Computer Science, 1991
- Safety for branching time semanticsLecture Notes in Computer Science, 1991
- A linear algorithm to solve fixed-point equations on transition systemsInformation Processing Letters, 1988
- Another look at abstraction in process algebraLecture Notes in Computer Science, 1987
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986