Compared Study of Two Correctness Proofs for the Standardized

[1]  Patricia Bouyer,et al.  Are Timed Automata Updatable? , 2000, CAV.

[2]  Jean-François Monin,et al.  Correctness Proof of the Standardized Algorithm for ABR Conformance , 1999, World Congress on Formal Methods.

[3]  Laurent Fribourg,et al.  Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol , 1999, CAV.

[4]  L. Fribourg.  A Closed − Form Evaluation for Extended Timed Automata Research Report LSV , 1998 .

[5]  Kim G. Larsen,et al.  Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL , 1997, Proceedings Real-Time Systems Symposium.

[6]  Jean-François Monin,et al.  Proving a Real Time Algorithm for ATM in Coq , 1996, TYPES.

[7]  Amir Pnueli,et al.  A Platform for Combining Deductive with Algorithmic Verification , 1996, CAV.

[8]  Wang Yi,et al.  UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.

[9]  Stavros Tripakis,et al.  The Tool KRONOS , 1996, Hybrid Systems.

[10]  Natarajan Shankar,et al.  An Integration of Model Checking with Automated Proof Checking , 1995, CAV.

[11]  Thomas A. Henzinger,et al.  A User Guide to HyTech , 1995, TACAS.

[12]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[13]  Zohar Manna,et al.  Beyond Model Checking , 1994, CAV.

[14]  A. Udaya Shankar,et al.  An introduction to assertional reasoning for concurrent systems , 1993, CSUR.

[15]  Peter Z. Revesz,et al.  A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints , 1993, Theor. Comput. Sci..

[16]  Thomas A. Henzinger,et al.  Parametric real-time reasoning , 1993, STOC.

[17]  Joseph Sifakis,et al.  An Approach to the Description and Analysis of Hybrid Systems , 1992, Hybrid Systems.

[18]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[19]  R. Alur,et al.  Automata For Modeling Real-Time Systems , 1990, ICALP.

[20]  Amy P. Felty,et al.  The Coq proof assistant user's guide : version 5.6 , 1990 .