A classification of symbolic transition systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1770, Issue , 2000, Pages 13-34

  Henzinger, Thomas A ^a   Majumdar, Rupak ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; HYBRID SYSTEMS; TEMPORAL LOGIC;

BISIMILARITY; BOOLEAN OPERATIONS; FINITE DISTANCE; FINITE TRACES; INFINITE STATE SYSTEMS; LINEAR TEMPORAL LOGIC; REACHABILITY; SYMBOLIC TRANSITION SYSTEMS;

MODEL CHECKING;

EID: 84944043632     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46541-3_2     Document Type: Conference Paper

References (19)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. P. A. Abdulla, K. Čerāns, B. Jonsson, and Y.-K. Tsay. General decidability theorems for infinite-state systems. In Proceedings of the 11th Annual Symposium on Logic in Computer Science, pages 313-321. IEEE Computer Society Press, 1996.
3. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
4. R. Alur and T.A. Henzinger. Computer-aided Verification: An Introduction to Model Building and Model Checking for Concurrent Systems. Draft, 1998.
5. R. Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 22:181-201, 1996.
6. P. Abdulla and B. Jonsson. Verifying networks of timed automata. In TACAS 98: Tools and Algorithms for Construction and Analysis of Systems, Lecture Notes in Computer Science 1384, pages 298-312. Springer-Verlag, 1998.
7. Bouajjani, J.-C. Fernandez, and N. Halbwachs. Minimal model generation. In CAV 90: Computer-aided Verification, Lecture Notes in Computer Science 531, pages 197-203. Springer-Verlag, 1990.
8. M. Dam. CTL* and ECTL* as fragments of the modal μ-calculus. Theoretical Computer Science, 126:77-96, 1994.
9. E.A. Emerson, C.S. Jutla, and A.P. Sistla. On model checking for fragments of μ-calculus. In CAV 93: Computer-aided Verification, Lecture Notes in Computer Science 697, pages 385-396. Springer-Verlag, 1993.
10. Finkel and Ph. Schnoebelen. Well-structured Transition Systems Every- where. Technical Report LSV-98-4, Laboratoire Spfiécification et Vérification, ENS Cachan, 1998.
11. T.A. Henzinger. Hybrid automata with finite bisimulations. In ICALP 95: Automata, Languages, and Programming, Lecture Notes in Computer Science 944, pages 324-335. Springer-Verlag, 1995.
12. T.A. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual Symposium on Logic in Computer Science, pages 278-292. IEEE Computer Society Press, 1996.
13. M.R. Henzinger, T.A. Henzinger, and P.W. Kopke. Computing simulations on finite and infinite graphs. In Proceedings of the 36rd Annual Symposium on Foundations of Computer Science, pages 453-462. IEEE Computer Society Press, 1995.
14. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: the next generation. In Proceedings of the 16th Annual Real-time Systems Symposium, pages 56-65. IEEE Computer Society Press, 1995.
15. T.A. Henzinger and P.W. Kopke. State equivalences for rectangular hybrid au- tomata. In CONCUR 96: Concurrency Theory, Lecture Notes in Computer Science 1119, pages 530-545. Springer-Verlag, 1996.
16. T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What’s decidable about hybrid automata? Journal of Computer and System Sciences, 57:94-124, 1998.
17. T.A. Henzinger and R. Majumdar. Symbolic model checking for rectangular hybrid systems. Submitted for publication, 1999.
18. P.C. Kanellakis and S.A. Smolka. CCS expressions, finite-state processes, and three problems of equivalence. Information and Computation, 86:43-68, 1990.
19. R.J. van Glabbeek. Comparative Concurrency Semantics and Refinement of Actions. PhD thesis, Vrije Universiteit te Amsterdam, The Netherlands, 1990.