scientific article; zbMATH DE number 1069484

zbMATH Open0880.68085MaRDI QIDQ4356436FDOQ4356436

Authors: Henrik Ejersbo Jensen, Arne Skou, Kim G. Larsen 

Publication date: 1 October 1997

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1746447
• Automated verification of an audio-control protocol using UPPAAL
• scientific article; zbMATH DE number 1629963
• Uppaal in a nutshell

zbMATH Keywords

collision avoidance protocolUPPAAL tool

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (6)

• Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
• On the IInd model of contention-collision elimination access mode in star LAN
• The power of reachability testing for timed automata
• Efficient verification of distributed real-time systems with broadcasting behaviors
• Automated repair for timed systems
• Automated verification of an audio-control protocol using UPPAAL

Uses Software

• Uppaal

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4356436)