HYTECH: The Cornell HYbrid TECHnology Tool
作者： Thomas A. Henzinger , Pei-Hsin Ho
关键词:
摘要: This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review formal technologies that have been incorporated into and we illustrate use HyTech with three nontrivial case studies.
springer.com
sci-hub.st 参考文章(22)
Anuj Puri, Pravin Varaiya, Verification of Hybrid Systems Using Abstractions Hybrid Systems II. pp. 359- 369 ,(1995) , 10.1007/3-540-60472-3_18
Pei -Hsin Ho, Howard Wong-Toi, Automated Analysis of an Audio Control Protocol computer aided verification. pp. 381- 394 ,(1995) , 10.1007/3-540-60045-0_64
Nicolas Halbwachs, Yann -Eric Proy, Pascal Raymond, Verification of linear hybrid systems by means of convex approximations static analysis symposium. pp. 223- 237 ,(1994) , 10.1007/3-540-58485-4_43
X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, An Approach to the Description and Analysis of Hybrid Systems Hybrid Systems. pp. 149- 178 ,(1993) , 10.1007/3-540-57318-6_28
David L. Dill, Howard Wong-Toi, Verification of Real-Time Systems by Successive Over and Under Approximation computer aided verification. pp. 409- 422 ,(1995) , 10.1007/3-540-60045-0_66
Patrick Cousot, Radhia Cousot, Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation international symposium on programming language implementation and logic programming. pp. 269- 295 ,(1992) , 10.1007/3-540-55844-6_142
Nicolas Halbwachs, Delay Analysis in Synchronous Programs computer aided verification. pp. 333- 346 ,(1993) , 10.1007/3-540-56922-7_28
Nancy Lynch, Frits Vaandrager, FORWARD AND BACKWARD SIMULATIONS PART II: TIMING-BASED SYSTEMS real time theory in practice rex workshop. pp. 397- 446 ,(1991) , 10.1007/BFB0032002
Frits Vaandrager, Nancy Lynch, Action Transducers and Timed Automata international conference on concurrency theory. pp. 436- 455 ,(1992) , 10.1007/BFB0084808
Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei -Hsin Ho, Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems Hybrid Systems. pp. 209- 229 ,(1993) , 10.1007/3-540-57318-6_30