Analysis of a biphase mark protocol with Uppaal and PVS
From MaRDI portal
Publication:855013
DOI10.1007/s00165-006-0008-1zbMath1102.68505OpenAlexW1978250137MaRDI QIDQ855013
A. L. de Groot, Frits W. Vaandrager
Publication date: 20 December 2006
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2066/36086
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Model-checking timed automata with deadlines with Uppaal ⋮ Automated verification and refinement for physical-layer protocols ⋮ Analysis of a clock synchronization protocol for wireless sensor networks ⋮ A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata
Uses Software
Cites Work
- Probabilistic clock synchronization
- A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
- A theory of timed automata
- Uppaal in a nutshell
- Linear parametric model checking of timed automata
- Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Analysis of a biphase mark protocol with Uppaal and PVS
