Analysis of a biphase mark protocol with Uppaal and PVS
type: Item
instance of: scholarly article
title: Analysis of a biphase mark protocol with Uppaal and PVS
zbMATH Open document ID: 1102.68505
author: A. L. de Groot
author: F. Vaandrager
published in: Formal Aspects of Computing
publication date: 2006-12-20T00:00:00Z
full work available at URL: http://hdl.handle.net/2066/36086
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5080867
zbMATH Keywords: Biphase mark protocol
zbMATH Keywords: Formal methods
zbMATH Keywords: Model checking
zbMATH Keywords: Theorem provers
zbMATH Keywords: Timed automata
describes a project that uses: Kronos
describes a project that uses: PVS
describes a project that uses: Uppaal
describes a project that uses: NQTHM
MaRDI profile type: Publication
OpenAlex ID: W1978250137
cites work: Q2754104
cites work: A theory of timed automata
cites work: Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings
cites work: Q2722048
cites work: Q4417917
cites work: Probabilistic clock synchronization
cites work: Linear parametric model checking of timed automata
cites work: Uppaal in a nutshell
cites work: A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
DOI: 10.1007/S00165-006-0008-1
description: scientific article; zbMATH DE number 5080867