Analysis of a biphase mark protocol with Uppaal and PVS
From MaRDI portal
Publication:855013
DOI10.1007/S00165-006-0008-1zbMATH Open1102.68505OpenAlexW1978250137MaRDI QIDQ855013FDOQ855013
Authors: A. L. de Groot, F. 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
Recommendations
- A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
- Automated verification of an audio-control protocol using UPPAAL
- Automatic verification of a lip-synchronisation protocol using UPPAAL
- Automated verification and refinement for physical-layer protocols
- scientific article; zbMATH DE number 3892605
Cites Work
- Uppaal in a nutshell
- A theory of timed automata
- Title not available (Why is that?)
- Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings
- Linear parametric model checking of timed automata
- Title not available (Why is that?)
- A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
- Title not available (Why is that?)
- Probabilistic clock synchronization
Cited In (5)
- Automated verification and refinement for physical-layer protocols
- A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
- A compositional translation of timed automata with deadlines to Uppaal timed automata
- Model-checking timed automata with deadlines with Uppaal
- Analysis of a clock synchronization protocol for wireless sensor networks
Uses Software
This page was built for publication: Analysis of a biphase mark protocol with Uppaal and PVS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q855013)
