To Store or Not to Store
- 1 January 2003
- 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 11 references indexed in Scilit:
- Static Guard Analysis in Timed Automata VerificationLecture Notes in Computer Science, 2003
- A partial approach to model checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Efficient verification of real-time systems: compact data structure and state-space reductionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Efficient Timed Reachability Analysis Using Clock Difference DiagramsLecture Notes in Computer Science, 1999
- Static partial order reductionPublished by Springer Science and Business Media LLC ,1998
- Verification of large state/event systems using compositionality and dependency analysisPublished by Springer Science and Business Media LLC ,1998
- State-space caching revisitedFormal Methods in System Design, 1995
- A theory of timed automataTheoretical Computer Science, 1994
- A stubborn attack on state explosionPublished by American Mathematical Society (AMS) ,1991
- Reducibility among Combinatorial ProblemsPublished by Springer Science and Business Media LLC ,1972