Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL (1996)
by
Henrik Ejersbo Jensen
,
Kim G. Larsen
,
Henrik Ejersbo
,
Jensen Kim
,
G. Larsen
,
Arne Skou
,
Arne Skou
| Citations: | 22 - 6 self |
BibTeX
@MISC{Jensen96modellingand,
author = {Henrik Ejersbo Jensen and Kim G. Larsen and Henrik Ejersbo and Jensen Kim and G. Larsen and Arne Skou and Arne Skou},
title = {Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL},
year = {1996}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper compares the tools SPIN and UPPAAL by modelling and verifying a Collision Avoidance Protocol for an Ethernet--like medium.
Citations
| 201 | An Old-Fashioned Recipe for Real Time - Abadi, Lamport - 1991 |
| 49 | Verification of an audio control protocol - Bosscher, Polak, et al. - 1994 |
| 22 | Steam-boiler control specification problem - Abrial - 1994 |
| 1 | An Old-Fashioned Recipe for Real Time, Lecture - Abadi, Lamport |
