Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol
type: Item
instance of: scholarly article
title: Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol
zbMATH Open document ID: 1029.68022
published in: Formal Aspects of Computing
publication date: 2003-08-27T00:00:00Z
Mathematics Subject Classification ID: 68M12
zbMATH DE Number: 1971927
zbMATH Keywords: Applied formal methods
zbMATH Keywords: IEEE standards
zbMATH Keywords: Leader election algorithms
zbMATH Keywords: Network protocols
zbMATH Keywords: Probabilistic algorithms
zbMATH Keywords: Real time
zbMATH Keywords: Parameter synthesis
author: Mariëlle I. A. Stoelinga
describes a project that uses: HyTech
describes a project that uses: TREX
describes a project that uses: PRISM
describes a project that uses: Uppaal2k
MaRDI profile type: Publication
full work available at URL: s001650300009
OpenAlex ID: W2093468548
DOI: 10.1007/S001650300009
description: scientific article; zbMATH DE number 1971927