Saturation Unbound
- 28 February 2003
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 379-393
- https://doi.org/10.1007/3-540-36577-x_27
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest PathsLecture Notes in Computer Science, 2002
- Saturation: An Efficient Iteration Strategy for Symbolic State—Space GenerationLecture Notes in Computer Science, 2001
- Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov ModelsINFORMS Journal on Computing, 2000
- Efficient Symbolic State-Space Construction for Asynchronous SystemsLecture Notes in Computer Science, 2000
- Symbolic guided search for CTL model checkingPublished by Association for Computing Machinery (ACM) ,2000
- Regular Model CheckingLecture Notes in Computer Science, 2000
- Petri nets with marking-dependent arc cardinality: Properties and analysisLecture Notes in Computer Science, 1994
- Symbolic Boolean manipulation with ordered binary-decision diagramsACM Computing Surveys, 1992
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Computer-Oriented Formulation of Transition-Rate Matrices via Kronecker AlgebraIEEE Transactions on Reliability, 1981