Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods
- 1 January 2005
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 37 references indexed in Scilit:
- BISIMULATOR: A Modular Tool for On-the-Fly Equivalence CheckingLecture Notes in Computer Science, 2005
- SEQ.OPEN: A Tool for Efficient Trace-Based VerificationLecture Notes in Computer Science, 2004
- To Store or Not to StoreLecture Notes in Computer Science, 2003
- State Space Reduction by Proving ConfluenceLecture Notes in Computer Science, 2002
- Parallel state space construction for model-checkingLecture Notes in Computer Science, 2001
- Context constraints for compositional reachability analysisACM Transactions on Software Engineering and Methodology, 1996
- Compositional minimisation of finite state systems using interface specificationsFormal Aspects of Computing, 1996
- Compositional reachability analysis of finite-state distributed systems with user-specified constraintsPublished by Association for Computing Machinery (ACM) ,1995
- Enhancing compositional reachability analysis with context constraintsPublished by Association for Computing Machinery (ACM) ,1993
- MEC : a system for constructing and analysing transition systemsLecture Notes in Computer Science, 1990