scientific article; zbMATH DE number 1759739

MaRDI QIDQ4536754zbMATH OpenFDO

Authors Lina Khatib, Nicola Muscettola, Klaus Havelund

Publication date 22 July 2002

zbMATH Keywords

verificationplanningmodel checkingschedulingautonomy

Mathematics Subject Classification ID

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

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

Cited in

(4)

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

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