Automated verification of an audio-control protocol using UPPAAL
type: Item
instance of: scholarly article
title: Automated verification of an audio-control protocol using UPPAAL
zbMATH Open document ID: 1008.68009
DOI: 10.1016/S1567-8326(02)00036-X
author: Johan Bengtsson
author: W. O. David Griffioen
author: Kåre Kristoffersen
author: Fredrik Larsson
author: Paul Pettersson
author: Wang Yi
author: Kim G. Larsen
published in: The Journal of Logic and Algebraic Programming
publication date: 2003-02-13T00:00:00Z
Mathematics Subject Classification ID: 68M12
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1868276
zbMATH Keywords: protocol verification
zbMATH Keywords: requirements/specifications
zbMATH Keywords: design tools and techniques
zbMATH Keywords: software/programverification
describes a project that uses: Coq
describes a project that uses: HyTech
describes a project that uses: Kronos
describes a project that uses: Uppaal
MaRDI profile type: Publication
cites work: Q4038702
cites work: Symbolic model checking for real-time systems
cites work: Uppaal in a nutshell
cites work: Continuous modeling of real-time and hybrid systems: From concepts to tools
cites work: Q3992568
cites work: Parametric real-time model checking using splitting trees
full work available at URL: s1567-8326(02)00036-x
OpenAlex ID: W2012339561
description: scientific article; zbMATH DE number 1868276