CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes
- 1 January 2007
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Refined Interfaces for Compositional VerificationLecture Notes in Computer Science, 2006
- DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space GenerationLecture Notes in Computer Science, 2006
- State space reduction for process algebra specificationsTheoretical Computer Science, 2005
- CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systemsInternational Journal on Software Tools for Technology Transfer, 2005
- Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification MethodsLecture Notes in Computer Science, 2005
- Efficient on-the-fly model-checking for regular alternation-free mu-calculusScience of Computer Programming, 2003