A user guide to HyTech

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

Volumn 1019, Issue , 1995, Pages 41-71

  Henzinger, Thomas A ^a   Ho, Pei Hsin ^a   Wong Toi, Howard ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL EFFICIENCY;

ANALYZING SYSTEM; AUTOMATED ANALYSIS; FIRST-TIME USER; UNDERLYING SYSTEMS;

EMBEDDED SYSTEMS;

EID: 84860691841     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60630-0_3     Document Type: Conference Paper

References (28)

1. R. Alur, C. Courcoubetis, and T.A. Henzinger. Computing accumulated delays in real-time systems. In C. Courcoubetis, editor, CAV 93: Computer-aided Verification, Lecture Notes in Computer Science 697, pages 181-193. Springer-Verlag, 1993.
2. 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.
3. R. Alur, C. Courcoubetis, T.A, Henzinger, and P.-H. Ho. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pages 209-229. Springer-Verlag, 1993.
4. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
5. R. Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. In Proceedings of the 14th Annual Realtime Systems Symposium, pages 2-11. IEEE Computer Society Press, 1993. Full version available as Technical Report TR-1492, Department of Computer Science, Cornell University, Ithaca, NY 14853, 1995.
6. A. Bouajjani, R. Echahed, and R. Robbana. Verification of context-free timed systems using linear hybrid observers. In D.L. Dill, editor, CAV 94: Computer-aided Verification, Lecture Notes in Computer Science, pages 118-131. Springer-Verlag, 1994.
7. A. Bouajjani, R. Echahed, and R. Robbana. Verifying invariance properties of timed systems with duration variables. In H. Langmaack, W.-P. de Roever, and J Vytopil, editors, FTRTFT 94: Formal Techniques in Real-time and Fault-tolerant Systems, Lecture Notes in Computer Science 863, pages 193-210. Springer-Verlag, 1994.
8. A. Bouajjani and R. Robbana. Verifying w-regular properties for subclasses of linear hybrid systems. In P. Wolper, editor, CAV 95: Computer-aided Verification, Lecture Notes in Computer Science 939, pages 437-450. Springer-Verlag, 1995.
9. K. Cerāns. Decidability of bisimulation equivalence for parallel timer processes. In G. von Bochmann and D.K. Probst, editors, CAV 92: Computer-aided Verification, Lecture Notes in Computer Science 663, pages 302-315. Springer-Verlag, 1992.
10. P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proceedings of the Fifth Annual Symposium on Principles of Programming Languages. ACM Press, 1978.
11. Z. Chaochen, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269-276, 1991.
12. C. Daws, A. Olivero and S. Yovine. Verifying ET-LOTOS programs with kRONOS. In Proceedings of Seventh International Conference on Formal Description Techniques, 1994.
13. C. Daws and S. Yovine. Two examples of verification of multirate timed automata with kRONOS. In Proceedings of the 16th Annual Realtime Systems Symposium. IEEE Computer Society Press, 1995.
14. N. Halbwachs. Delay analysis in synchronous programs. In C. Courcoubetis, editor, CA V 93: Computer-aided Verification, Lecture Notes in Computer Science 697, pages 333-346. Springer-Verlag, 1993.
15. T.A. Henzinger. Sooner is safer than later. Information Processing Letters, 43:135-141, 1992.
16. T.A. Henzinger. Hybrid automata with finite bisimulations. In Z. Fülöp and F. Gécseg, editors, ICALP 95: Automata, Languages, and Programming, Lecture Notes in Computer Science 944, pages 324-335. Springer-Verlag, 1995.
17. T.A. Henzinger and P.-H. Ho. Algorithmic analysis of nonlinear hybrid systems. In P. Wolper, editor, CAV 95: Computer-aided Verification, Lecture Notes in Computer Science 939, pages 225-238. Springer-Verlag, 1995.
18. T.A. Henzinger and P.-H. Ho. HYTECH The Cornell Hybrid Technology Tool. In A. Nerode, editor, Proceedings of the 1994 Workshop on Hybrid Systems and Autonomous Control, Lecture Notes in Computer Science. Springer-Verlag, 1995.
19. T.A. Henzinger and P.-H. Ho. A note on abstract-interpretation strategies for hybrid automata. In A. Nerode, editor, Proceedings of the 1994 Workshop on Hybrid Systems and Autonomous Control, Lecture Notes in Computer Science. Springer-Verlag, 1995.
20. M.R. Henzinger, T.A. Henzinger, and P.W. Kopke. Computing simulations on finite and infinite graphs. In Proceedings of the 36th Annual Symposium on Foundations of Computer Science. IEEE Computer Society Press, 1995.
21. T. A. Henzinger, P.-H. Ho, and H. Wong-Toi. HYTEcm the next generation. In Proceedings of the 16th Annual Real-time Systems Symposium. IEEE Computer Society Press, 1995.
22. T. A. Henzinger, P.-H. Ho, and H. Wong-Toi. A user guide to HYTECH. Technical Report TR-1532, Department of Computer Science, Cornell University, 1995.
23. T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata? In Proceedings of the 27th Annual Symposium on Theory of Computing, pages 373-382. ACM Press, 1995.
24. T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193-244, 1994.
25. Pei-Hsin Ho. Automatic Analysis of Hybrid Systems. PhD thesis, Department of Computer Science, Cornell University, 1995.
26. N. Halbwachs, P. Raymond, and Y.-E. Proy. Verification of linear hybrid systems by means of convex approximation. In B. LeCharlier, editor, SAS 94: Static Analysis Symposium, Lecture Notes in Computer Science 864, pages 223-237. Springer-Verlag, 1994.
27. T. A. Henzinger and H. Wong-Toi. Phase portrait approximations of hybrid systems. Submitted, 1995.
28. P.-H. Ho and H. Wong-Toi. Automated analysis of an audio control protocol. In P. Wolper, editor, CAV 95: Computer-aided Verification, Lecture Notes in Computer Science 939, pages 381-394. Springer- Verlag, 1995.