Using HyTech to Synthesize Control Parameters for a Steam Boiler
暂无分享,去创建一个
[1] Thierry Cattel,et al. Specifying and Verifying the Steam-Boiler Problem with SPIN , 1995, Formal Methods for Industrial Applications.
[2] Andreas Willig,et al. Specifying and Verifying the Steam-Boiler Control System with Time Extended LOTOS , 1995, Formal Methods for Industrial Applications.
[3] T. Henzinger,et al. Automatic Symbolic Veri cation of Embedded Systems , 1996 .
[4] Nancy A. Lynch,et al. Proving Safety Properties of the Steam Boiler Controller , 1995, Formal Methods for Industrial Applications.
[5] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[6] Egon Börger,et al. The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods , 1995, Formal Methods for Industrial Applications.
[7] Wang Juan,et al. Specifying Optimal Design of a Steam-Boiler System , 1995, Formal Methods for Industrial Applications.
[8] Thomas A. Henzinger,et al. HYTECH: The Cornell HYbrid TECHnology Tool , 1994, Hybrid Systems.
[9] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[10] Thomas A. Henzinger,et al. Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems , 1996, Hybrid Systems.
[11] Thomas A. Henzinger,et al. Parametric real-time reasoning , 1993, STOC.
[12] Peter Csaba Ölveczky,et al. An Object-Oriented Algebraic Steam-Boiler Control Specification , 1995, Formal Methods for Industrial Applications.
[13] Thomas A. Henzinger,et al. Automatic Symbolic Verification of Embedded Systems , 1996, IEEE Trans. Software Eng..
[14] T. Henzinger,et al. Algorithmic Analysis of Nonlinear Hybrid Systems , 1998, CAV.
[15] Thierry Cattel,et al. The Steam-Boiler Problem in Lustre , 1995, Formal Methods for Industrial Applications.
[16] Jozef Hooman,et al. Assertional Specification and Verification Using PVS of the Steam Boiler Control System , 1995, Formal Methods for Industrial Applications.
[17] Christian P. Schinagl. VDM Specification of the Steam-Boiler Control Using RSL Notation , 1995, Formal Methods for Industrial Applications.
[18] Thomas A. Henzinger,et al. A Note on Abstract Interpretation Strategies for Hybrid Automata , 1994, Hybrid Systems.
[19] Matthias Weber,et al. A Steam-Boiler Control Specification with Statecharts and Z , 1995, Formal Methods for Industrial Applications.
[20] Jean-Raymond Abrial. Steam-Boiler Control Specification Problem , 1995, Formal Methods for Industrial Applications.
[21] Thomas A. Henzinger,et al. HYTECH: the next generation , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[22] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.
[23] Thomas A. Henzinger,et al. A User Guide to HyTech , 1995, TACAS.
[24] Nicolas Halbwachs,et al. Automatic discovery of linear restraints among variables of a program , 1978, POPL.
[25] Howard Wong-Toi,et al. Automated Analysis of an Audio Control Protocol , 1995, CAV.