scientific article; zbMATH DE number 1759739

zbMATH Open0988.68758MaRDI QIDQ4536754FDOQ4536754

Authors: Lina Khatib, Nicola Muscettola, Klaus Havelund 

Publication date: 22 July 2002

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

Recommendations

• scientific article; zbMATH DE number 1696448
• Uppaal in a nutshell
• scientific article; zbMATH DE number 1746447
• Automated verification of an audio-control protocol using UPPAAL
• Scenario-based verification of real-time systems using UPPAAL

zbMATH Keywords

verificationplanningmodel checkingschedulingautonomy

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Artificial intelligence (68T99)

Cited In (4)

• Automated planning as an early verification tool for distributed control
• Verification of the legOS scheduler using Uppaal
• Formal design and analysis of a gear controller
• Uppaal in a nutshell

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 Q4536754)