• StateFlow

  • Referenced in 37 articles [sw04350]
  • Stateflow® is an environment for modeling and simulating combinatorial and sequential decision logic based ... state machines and flow charts. Stateflow lets you combine graphical and tabular representations, including state ... based conditions, and external input signals. With Stateflow you can design logic for supervisory control ... task scheduling, and fault management applications. Stateflow includes state machine animation and static...
  • C2e2

  • Referenced in 5 articles [sw20139]
  • C2e2: A verification tool for stateflow models. Compare Execute Check Engine (C2E2) is a tool ... time invariant properties of hybrid system and Stateflow models. It supports nonlinear dynamics...
  • SimMechanics

  • Referenced in 6 articles [sw04349]
  • both analog and digital signal processing; Stateflow is used for state charts and signal flow...
  • Simulink Coder

  • Referenced in 6 articles [sw15712]
  • code from Simulink® diagrams, Stateflow® charts, and MATLAB® functions. The generated source code...
  • HiVy

  • Referenced in 2 articles [sw01933]
  • toolbox transforms output of the commercial tool Stateflow@ provided by The Mathworks. HiVy can also ... used independently from Stateflow. An abstract syntax of hierarchical sequential automata (HSA) is provided...
  • HDL Coder

  • Referenced in 2 articles [sw14219]
  • code from MATLAB® functions, Simulink® models, and Stateflow® charts. The generated HDL code...
  • Isabelle

  • Referenced in 524 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Matlab

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

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

  • Referenced in 633 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • Modelica

  • Referenced in 70 articles [sw04352]
  • Modelica is a freely available, object-oriented language...
  • PROMELA

  • Referenced in 30 articles [sw07635]
  • Outline for an operational semantics of PROMELA. PROMELA...