• Uppaal

  • Referenced in 635 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling, simulation and verification of real-time systems...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • Uppaal is an integrated tool environment for modeling, simulation and verification of real-time systems ... critical. Since its first release in 1995, Uppaal has been applied in a number ... with various features. The current version of Uppaal, called Uppaal2k, was first released in September...
  • UPPAAL TIGA

  • Referenced in 42 articles [sw12913]
  • UPPAAL TIGA (Fig. 1) is an extension of UPPAAL [BDL04] and it implements the first...
  • CMC

  • Referenced in 34 articles [sw12422]
  • existing real-time verification tools (HYTECH, KRONOS, UPPAAL). After a description of the method...
  • UPPAAL CORA

  • Referenced in 9 articles [sw25660]
  • UPPAAL CORA is a branch of UPPAAL for Cost Optimal Reachability Anslysis developed ... UPPAAL team as part of the VHS and AMETIST projects. Whereas UPPAAL uses timed automata ... modelling language, UPPAAL CORA uses linearly priced timed automata (LPTA). Given an LPTA model, UPPAAL ... path with the lowest accumulated cost. UPPAAL CORA provides a number of extensions...
  • TAPAAL

  • Referenced in 17 articles [sw00947]
  • networks of timed automata and uses the UPPAAL engine for the automatic analysis. We report...
  • GEZEL

  • Referenced in 6 articles [sw04151]
  • with verification of Gezel-specifications using the Uppaal system. In particular, we have proven ... Simplified DES algorithm. We have also used Uppaal for small experiments of verifying resource usage...
  • opaal

  • Referenced in 7 articles [sw13332]
  • opaal engine supports a subset of the UPPAAL timed automata language extended with lattice features...
  • legOS

  • Referenced in 3 articles [sw21176]
  • Verification of the legOS scheduler using Uppaal. This article concentrates on the scheduler ... tests of the scheduler and through an Uppaal model of the scheduler wherein the starvation ... scheduler is designed and modeled in Uppaal. This Uppaal model is used to verify that...
  • Casaal

  • Referenced in 5 articles [sw10130]
  • tool Casaal. that we seamlessly connect to Uppaal-smc. in a tool chain. We demonstrate...
  • mctau

  • Referenced in 2 articles [sw07213]
  • mctau: Bridging the Gap between Modest and UPPAAL. Modest is a high-level compositional modelling ... networks of timed automata as supported by Uppaal. We report on extensions made to Modest ... Uppaal that allow the transformation of a rich subset of Modest models to Uppaal timed ... formalisms. We present our Modest-to-Uppaal tool chain mctau, which allows both a fully...
  • ITS-Tools

  • Referenced in 2 articles [sw29142]
  • format, ITS-tools can analyze third party (Uppaal, Spin, Divine...) specifications...
  • Vooduu

  • Referenced in 1 article [sw06300]
  • Vooduu: verification of object-oriented designs using UPPAAL The Unified Modeling Language (UML) provides sequence ... verification is performed by the model checker UPPAAL. The results are retranslated into sequence diagrams...
  • ZenoTool

  • Referenced in 1 article [sw10129]
  • ZenoTool, A Zeno Run detection tool for UPPAAL. ZenoTool is a small, fast command-line ... specifications of timed automata systems created with UPPAAL for the occurrence of Zeno Runs. Zeno...
  • HighSpec

  • Referenced in 1 article [sw09750]
  • Alloy Models so that TA model checkers-UPPAAL and the Alloy Analyzer can be utilized...
  • Mcta

  • Referenced in 1 article [sw10128]
  • related state-of-the-art tools like Uppaal and Uppaal/Dmc...
  • Timed Automata

  • Referenced in 1 article [sw28568]
  • class of successful model checkers such as UPPAAL [LPY97], HyTech [HHWt97] or Kronos [Yov97]. This...
  • Calife

  • Referenced in 1 article [sw28607]
  • tools are currently interfaced with the platform (Uppaal, Hytech, Kronos, CMC, Coq,...) and a unique...
  • DYANA

  • Referenced in 1 article [sw36150]
  • After translation into NTA we use UPPAAL for RTES model verification...
  • DTRON

  • Referenced in 0 articles [sw23642]
  • design of networked CPS. DTRON extends the Uppaal model checking tool and online test execution...