CMC: A Tool for Compositional Model-Checking of Real-Time Systems
暂无分享,去创建一个
[1] Wang Yi,et al. Verification of an Audio Protocol with Bus Collision Using UPPAAL , 1996, CAV.
[2] A. Pnueli,et al. Data-Structures for the Verification of Timed Automata , 1997, HART.
[3] Martín Abadi,et al. An old-fashioned recipe for real time , 1994, TOPL.
[4] Amir Pnueli,et al. Some Progress in the Symbolic Verification of Timed Automata , 1997, CAV.
[5] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[6] Thomas A. Henzinger,et al. Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..
[7] Kim G. LarsenBRICS. Compositional Model Checking of Real Time Systems ? , 1995 .
[8] Sergio Yovine,et al. KRONOS: a verification tool for real-time systems , 1997, International Journal on Software Tools for Technology Transfer.
[9] Natarajan Shankar,et al. Verification of Real-Time Systems Using PVS , 1993, CAV.
[10] Wang Yi,et al. A Compositional Proof of a Real-Time Mutual Exclusion Protocol , 1996, TAPSOFT.
[11] Wang Yi,et al. Efficient verification of real-time systems: compact data structure and state-space reduction , 1997, Proceedings Real-Time Systems Symposium.
[12] Thomas A. Henzinger,et al. Using HyTech to Synthesize Control Parameters for a Steam Boiler , 1995, Formal Methods for Industrial Applications.
[13] O. Maler,et al. Hardware timing verification using KRONOS , 1996, Proceedings of the Seventh Israeli Conference on Computer Systems and Software Engineering.
[14] Stavros Tripakis,et al. On-the-fly symbolic model checking for real-time systems , 1997, Proceedings Real-Time Systems Symposium.
[15] Amir Pnueli,et al. Data-Structures for the Verification of Timed Automata , 1997, HART.
[16] Henrik Reif Andersen,et al. Partial model checking , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
[17] Thomas A. Henzinger,et al. A User Guide to HyTech , 1995, TACAS.
[18] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[19] Kim Guldstrand Larsen,et al. Formal Modelling and Analysis of an Audio/Video Protocol , 1997 .
[20] Wang Yi,et al. Compositional and Symbolic Model-Checking of Real-Time Systems , 1996 .
[21] Howard Wong-Toi,et al. Automated Analysis of an Audio Control Protocol , 1995, CAV.
[22] A. Pnueli,et al. Data-Structures for the Veri cationof Timed Automata ? , 1997 .
[23] Kim G. Larsen,et al. The Use of Static Constructs in A Modal Process Logic , 1989, Logic at Botik.