Verification of an Audio Protocol with Bus Collision Using UPPAAL

Verification of an Audio Protocol with Bus Collision Using UPPAAL (1996)

by Johan Bengtsson , W. O. David Griffioen , Kåre J. Kristoffersen , Kim G. Larsen , Fredrik Larsson , Paul Pettersson , Wang Yi

Citations:

61 - 25 self

507	D.L.: Automata for modeling real-time systems. - Alur, Dill - 1990
119	HyTech: the next generation. - Henzinger, Ho, et al. - 1995
94	Verification of Linear Hybrid Systems by Means of Convex Approximations - Halbwachs, Raymond, et al. - 1994
68	Two examples of verification of multirate timed automata with kronos. - Daws, Yovine - 1995
55	Verification of an audio control protocol. - Bosscher, Polak, et al. - 1994
49	Automatic Verification of Real-Time Communicating Systems By ConstraintSolving. In - Yi, Pettersson, et al. - 1994
48	Automated analysis of an audio control protocol - Ho, Wong-Toi - 1995
21	Diagnostic model-checking for real-time systems. - Larsen, Pettersson, et al. - 1995
12	Uppaal \| a Tool Suite for Automatic Veri cation of Real{Time Systems - Bengtsson, Larsen, et al. - 1995
12	Veri cation of an audio control protocol - Bosscher, Polak, et al. - 1994
11	Veri cation of linear hybrid systems by means of convex approximations. - Halbwachs, Proy, et al. - 1994
9	Uppaal a tool for automatic verification of real-time systems - Bengtsson, Larsson - 1996
8	Automatic veri cation of real-time communicating systems by constraint-solving - Yi, Pettersson, et al.
6	Two examples of veri cation of multirate timed automata with KRONOS - Daws, Yovine - 1995
5	Analysis of an Audio Control Protocol with Bus Collision - Griffioen - 1994
1	Uppaal aTool for Automatic Veri cation of Real-time Systems - Bengtsson, Larsson - 1996
1	Analysis of an Audio Control Protocol with Bus Collision - oen - 1994