Simulation based minimization

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1831, Issue , 2000, Pages 255-270

  Bustan, Doron ^a   Grumberg, Orna ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; AXIAL FLOW; SET THEORY; THEOREM PROVING;

EQUIVALENCE RELATIONS; KRIPKE STRUCTURE; MINIMIZATION ALGORITHMS; PARTITIONING ALGORITHMS; SIMULATION PREORDER; SPACE COMPLEXITY; SPACE REQUIREMENTS; UNREACHABLE STATES;

ALGORITHMS;

EID: 84937417387     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/10721959_20     Document Type: Conference Paper

References (15)

1. A. Aziz, T.R. Shiple, V. Singhal, and A.L. Sangiovanni-Vincetelly. Formula-dependent equivalence for compositional CTL model checking. In D. Dill, editor, proceedings of the Sixth Conference on Computer Aided Verification (CAV'94), volume 818 of LNCS, pages 324-337, 1994.
2. A. Aziz, V. Singhal, G.M. Swamy, and R.K. Brayton. Minimizing interacting finite state machines: A compositional approach to language containment. In Proceedings of the International Conference on Computer Design, pages 255-261, 1994.
3. B. Bloom and R. Paige. Transformational design and implementation of new eficient solution to the ready simulation problem. In Science of Computer Pro-gramming, volume 24, pages 189-220, 1996.
4. A. Bouajjani, J.-C. Fernandez, and N. Halbwachs. Minimal model generation. In E.M Clarke and R.P. Kurshan, editors, Computer-Aided Verification, pages 197-203, New York, June 1990. Springer-Verlag.
5. A. Bouali and R. de Simone. Symbolic bisimulation minimisation. In G. V. Bochmann and D. K. Probst, editors, Proceedings of the 4th Conference on Computer-Aided Verification, volume 663 of LNCS, pages 96-108. Springer Verlag, July 1992.
6. D. Bustan and O. Grumberg. Simulation based minimization. Technical Report TR #CS-2000-04, Computer Science Department, Technion, Haifa, April 2000.
7. E. M. Clarke and E. A. Emerson. Synthesis of synchronization skeletons for branch-ing time temporal logic. In Logic of Programs: Workshop, Yorktown Heights, NY, May 1981, volume 131 of LNCS. SPRINGER VERLAG, 1981.
8. E.M. Clarke, O. Grumberg, and D.A. Peled. Model Checking. MIT press, December 1999.
9. K. Fisler and M. Vardi. Bisimulation minimization in an automata-Theoretic veri-fication framework. In FMCAD, pages 115-132, 1998.
10. O. Grumberg and D.E. Long. Model checking and modular verification. ACM Trans. on Programming Languages and Systems, 16 (3) : 843-871, 1994.
11. M.R. Henzinger, T.A. Henzinger, and P.W. Kopke. Computing simulation on finite and infinite graphs. In Proc. Symp. Foundations of Computer Science, pages 453-462, 1995.
12. A. Kucera and R. Mayr. Simulation preorder on simple process algebras. In International Colloquium on Automata, Languages and Programing, volume LNCS 1644, 1999.
13. D. Lee and M. Yannakakis. Online minimization of transition systems. In Proceed-ings of the 24th ACM Symp. on Theory of Computing, 1992.
14. R. Milner. An algebraic definition of simulation between programs. In Proc. of the 2nd IJCAI, pages 481-489, London, UK, 1971.
15. D. Park. Concurrency and automata on infinite sequences. In 5th GI-Conference on Theoretical Computer Science, pages 167-183. Springer-Verlag, 1981. LNCS 104.