scientific article; zbMATH DE number 1069484

MaRDI QIDQ4356436zbMATH OpenFDO

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

Publication date 1 October 1997

zbMATH Keywords

collision avoidance protocolUPPAAL tool

Mathematics Subject Classification ID

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

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

Cited in

(7)

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

Describes a project that uses

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)