Saturation NOW

Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004

Volumn , Issue , 2004, Pages 272-281

  Chung, Ming Ying ^a   Ciardo, Gianfranco ^a  

^a University of California Riverside   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER WORKSTATIONS; DATA STORAGE EQUIPMENT; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; QUALITY ASSURANCE; VIRTUAL REALITY;

DECISION DIAGRAMS; DISCRETE STATE MODELS; SATURATION ALGORITHMS; VIRTUAL MEMORY;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 16244365506     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/qest.2004.1348041     Document Type: Conference Paper

References (22)

1. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. MIT Press, 1999.
2. R. E. Bryant, "Graph-based algorithms for boolean function manipulation," IEEE Trans. Comp., vol. 35, pp. 677-691, Aug. 1986.
3. H. Ochi, Y. Kouichi, and S. Yajima, "Breadth-first manipulation of very large binary-decision diagrams," in ICCAD, pp. 48-55, IEEE Comp. Soc. Press, 1993.
4. G. Ciardo, G. Luettgen, and R. Siminiceanu, "Saturation: An efficient iteration strategy for symbolic state space generation," in TACAS, LNCS 2031, pp. 328-342, Springer, Apr. 2001.
5. J.R. Burch, E.M. Clarke, and D.E. Long, "Symbolic model checking with partitioned transition relations," in Int. Conference on Very Large Scale Integration, pp. 49-58, IFIP Transactions, North-Holland, Aug. 1991.
6. G. Ciardo, R. Marmorstein, and R. Siminiceanu, "Saturation unbound," in TACAS, LNCS 2619, pp. 379-393, Springer, Apr. 2003.
7. P. Buchholz, G. Ciardo, S. Donatelli, and P. Kemper, "Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models," INFORMS J. Comp., vol. 12, no. 3, pp. 203-222, 2000.
8. G. Ciardo, G. Luettgen, and R. Siminiceanu, "Efficient symbolic state-space construction for asynchronous systems," in ICATPN, LNCS 1825, pp. 103-122, Springer, June 2000.
9. A. S. Miner and G. Ciardo, "Efficient reachability set generation and storage using decision diagrams," in ICATPN, LNCS 1639, pp. 6-25, Springer, June 1999.
10. G. Ciardo and R. Siminiceanu, "Using edge-valued decision diagrams for symbolic generation of shortest paths," in FMCAD, LNCS 2517, pp. 256-273, Springer, Nov. 2002.
11. G. Ciardo and R. Siminiceanu, "Structural symbolic CTL model checking of asynchronous systems," in CAV, LNCS 2725, pp. 40-53, Springer, July 2003.
12. E. Pastor, O. Roig, J. Cortadella, and R. Badia, "Petri net analysis using boolean manipulation," in ICATPN, LNCS 815, pp. 416-435, Springer, June 1994.
13. S. Graf, B. Steffen, and G. Lüttgen, "Compositional minimisation of finite state systems using interface specifications," Formal Asp. of Comp., vol. 8, no. 5, pp. 607-616, 1996.
14. U. Stern and D. L. Dill, "Parallelizing the Murphy verifier," in CAV, LNCS 1254, pp. 256-267, Springer, 1997.
15. D. Nicol and G. Ciardo, "Automated parallelization of discrete state-space generation," J. Par. and Distr. Comp., vol. 47, pp. 153-167, 1997.
16. S. Kimura and E. M. Clarke, "A parallel algorithm for constructing binary decision diagrams," in ICCD, pp. 220-223, IEEE Comp. Soc. Press, 1990.
17. Y. Parasuram, E. Stabler, and S.-K. Chin, "Parallel implementation of BDD algorithms using a distributed shared memory," in The Hawaii International Conference on System Sciences, vol. 1, pp. 16-25, IEEE Comp. Soc. Press, 1994.
18. T. Stornetta and F. Brewer, "Implementation of an efficient parallel BDD package," in DAC, pp. 641-644, ACM Press, 1996.
19. K. Milvang-Jensen and A. J. Hu, "BDDNOW: A parallel BDD package," in FMCAD, LNCS 1522, pp. 501-507, Springer, 1998.
20. O. Grumberg, T. Heyman, and A. Schuster, "A work-efficient distributed algorithm for reachability analysis," in CAV, LNCS 2725, pp. 54-66, Springer, 2003.
21. R. K. Ranjan, J. V. Snaghavi, R. K. Brayton, and A. Sangiovanni- Vincentelli, "Binary decision diagrams on network of workstations)," in Proc. ICCD, pp. 358-364, IEEE Comp. Soc. Press, Oct. 1996.
22. A. Narayan, A. J. Isles, J. Jain, R. K. Brayton, and A. Sangiovanni-Vincentelli, "Reachability analysis using Partitioned-ROBDDs, " in ICCAD, pp. 388-393, ACM and IEEE Comp. Soc. Press, 1997.