Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction
暂无分享,去创建一个
[1] K. Larsen. Context-dependent bisimulation between processes , 1986 .
[2] Kim G. Larsen. A Context Dependent Equivalence Between Processes , 1987, Theor. Comput. Sci..
[3] R. Alur,et al. Automata For Modeling Real-Time Systems , 1990, ICALP.
[4] Didier Caucal,et al. Branching Bisimulation for Context-free Processes , 1992, FSTTCS.
[5] Thomas A. Henzinger,et al. Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.
[6] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[7] Stavros Tripakis,et al. The Tool KRONOS , 1996, Hybrid Systems.
[8] Joseph Sifakis,et al. Property preserving abstractions for the verification of concurrent systems , 1995, Formal Methods Syst. Des..
[9] Howard Wong-Toi,et al. Automated Analysis of an Audio Control Protocol , 1995, CAV.
[10] Conrado Daws,et al. Two examples of verification of multirate timed automata with Kronos , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[11] Wang Yi,et al. Verification of an Audio Protocol with Bus Collision Using UPPAAL , 1996, CAV.
[12] Arne Skou,et al. Modelling and analysis of a collision avoidance protocol using Spin and Uppaal , 1996, The Spin Verification System.
[13] Dennis Dams,et al. Abstract interpretation and partition refinement for model checking , 1996 .
[14] Ed Dawson,et al. Cryptography: Policy and Algorithms , 1996, Lecture Notes in Computer Science.
[15] Thomas A. Henzinger,et al. Hybrid systems III : verification and control , 1996 .
[16] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[17] Willem P. de Roever,et al. The Need for Compositional Proof Systems: A Survey , 1997, COMPOS.
[18] Kim G. Larsen,et al. Model Checking via Reachability Testing for Timed Automata , 1997, TACAS.
[19] Thomas A. Henzinger,et al. MOCHA: Modularity in Model Checking , 1998, CAV.
[20] Kare Jelling Kristoffersen,et al. Compositional Verification of Concurrent Systems , 1998 .
[21] Kenneth L. McMillan,et al. Verification of an Implementation of Tomasulo's Algorithm by Compositional Model Checking , 1998, CAV.
[22] Kim G. Larsen,et al. Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL , 1999, ARTS.