UPPAAL in 1995
暂无分享,去创建一个
Wang Yi | Kim G. Larsen | Paul Pettersson | Fredrik Larsson | Johan Bengtsson | J. Bengtsson | K. Larsen | Fredrik Larsson | P. Pettersson | W. Yi
[1] Thomas A. Henzinger,et al. A User Guide to HyTech , 1995, TACAS.
[2] Conrado Daws,et al. Two examples of verification of multirate timed automata with Kronos , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[3] Wang Yi,et al. Automatic verification of real-time communicating systems by constraint-solving , 1994, FORTE.
[4] Mathai Joseph,et al. Real-time systems - specification, verification and analysis , 1995, Prentice Hall International series in computer science.
[5] Joseph Sifakis,et al. Using Abstractions for the Verification of Linear Hybrid Systems , 1994, CAV.
[6] Wang Yi,et al. Diagnostic Model-Checking for Real-Time Systems , 1995, Hybrid Systems.
[7] Wang Yi,et al. Verification of an Audio Protocol with Bus Collision Using UPPAAL , 1996, CAV.
[8] Wang Yi,et al. UPPAAL in 1995 , 1996, TACAS.
[9] Pierre Lescanne,et al. Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution , 1996, PLILP.
[10] Frits Vaandrager,et al. Verification of an Audio Control Protocol , 1994, FTRTFT.
[11] Jean-Raymond Abrial. Steam-Boiler Control Specification Problem , 1995, Formal Methods for Industrial Applications.
[12] Martín Abadi,et al. An old-fashioned recipe for real time , 1994, TOPL.
[13] Wang Yi,et al. Compositional and symbolic model-checking of real-time systems , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[14] Wang Yi,et al. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.