• vUML

  • Referenced in 20 articles [sw09471]
  • objects is described using UML Statecharts diagrams. The tool uses the SPIN model checker...
  • TCOZ

  • Referenced in 8 articles [sw03382]
  • automatically project TCOZ models into UML statechart diagrams for visualising the dynamic system behaviour...
  • Shimba

  • Referenced in 6 articles [sw01242]
  • diagrams using the SCED tool. In SCED, statechart diagrams can be synthesized automatically from sequence...
  • ViSta

  • Referenced in 3 articles [sw13548]
  • ViSta — Visualizing Statecharts. Statecharts are widely used for the requirements specification of reactive systems. This ... diagrams and states. The usefulness of statecharts depends primarily on their readability, that...
  • SCCharts

  • Referenced in 3 articles [sw26907]
  • SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous ... statecharts. We present a new visual language, SCCharts, designed for specifying safety-critical reactive systems ... SCCharts use a statechart notation and provide determinate concurrency based on a synchronous model...
  • GemCell

  • Referenced in 3 articles [sw01995]
  • generic part of GemCell, built using Statecharts, is a fully dynamic model of a cell ... model execution is carried out by the statecharts executing with the aid of specific data...
  • HiVy

  • Referenced in 2 articles [sw01933]
  • HiVy toolset provides model checking for statecharts ([SFUG]). This is achieved by translating statechart specifications...
  • Vooduu

  • Referenced in 1 article [sw06300]
  • intra-object behavior is modelled by statechart diagrams. Our tool Vooduu performs an automated consistency ... verifies automatically whether a family of UML statecharts modelling a system satisfies ... commercial UML tool. For verifying, statecharts and sequence diagrams are translated to the formalism...
  • DYANA

  • Referenced in 1 article [sw36150]
  • described by Unified Modeling Language (UML) statechart diagrams. The statechart diagram is transformed into ... CERTI as the simulation runtime. The statechart diagram is also transformed into a Network...
  • FSMC+

  • Referenced in 1 article [sw30245]
  • generation of Java code from statecharts. ProVotE is a two-phase project aiming at actuating ... takes as input a subset of UML Statecharts and produces the corresponding Java and NuSMV...
  • ThingML

  • Referenced in 1 article [sw35532]
  • design and implementation of distributed reactive systems: statecharts and components (aligned with the UML) communicating...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PRISM

  • Referenced in 454 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • GenGED

  • Referenced in 15 articles [sw01757]
  • GenGED – A Visual Definition Tool for Visual Modeling...
  • PROGRES

  • Referenced in 70 articles [sw02905]
  • Integrity constraints in the multi-paradigm language PROGRES...
  • LOTOS

  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • PVS

  • Referenced in 634 articles [sw03484]
  • PVS is a verification system: that is, a...