SEQ.OPEN: A Tool for Efficient Trace-Based Verification
- 1 January 2004
- 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 9 references indexed in Scilit:
- A Generic On-the-Fly Solver for Alternation-Free Boolean Equation SystemsLecture Notes in Computer Science, 2003
- Trace analysis of Erlang programsPublished by Association for Computing Machinery (ACM) ,2002
- The ForSpec Temporal Logic: A New Temporal Property-Specification LanguageLecture Notes in Computer Science, 2002
- Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition SystemsLecture Notes in Computer Science, 2002
- The Temporal Logic SugarLecture Notes in Computer Science, 2001
- OPEN/CÆSAR: An open software architecture for verification, simulation, and testingPublished by Springer Science and Business Media LLC ,1998
- CTL∗ and ECTL∗ as fragments of the modal μ-calculusTheoretical Computer Science, 1994
- Model checking and boolean graphsTheoretical Computer Science, 1994
- Action versus state based logics for transition systemsLecture Notes in Computer Science, 1990