Distributed On-the-Fly Equivalence Checking
Open Access
- 19 April 2005
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 128 (3), 47-62
- https://doi.org/10.1016/j.entcs.2004.10.018
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A Generic On-the-Fly Solver for Alternation-Free Boolean Equation SystemsLecture Notes in Computer Science, 2003
- Local Parallel Model Checking for the Alternation-Free μ-CalculusLecture Notes in Computer Science, 2002
- Parallel state space construction for model-checkingLecture Notes in Computer Science, 2001
- Efficient Diagnostic Generation for Boolean Equation SystemsLecture Notes in Computer Science, 2000
- OPEN/CÆSAR: An open software architecture for verification, simulation, and testingPublished by Springer Science and Business Media LLC ,1998
- Efficient checking of behavioural relations and modal assertions using fixed-point inversionLecture Notes in Computer Science, 1995
- Model checking and boolean graphsTheoretical Computer Science, 1994
- 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