StateFlow
From MaRDI portal
Cited in
(87)- Reconciling statechart semantics
- TimeNET
- Omola
- HiVy
- SIGNAL
- HOL-Z
- Graph transformation benchmarks
- Simulink
- SimMechanics
- SimPowerSystems
- Cheddar
- ArcAngelC
- iFEST
- VPM
- Ptolemy
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- Semantic mutation testing
- On checking equivalence of simulation scripts
- Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow
- A semantic model for interacting cyber-physical systems
- LUSTRE
- Hybrid dynamical systems. Fundamentals and methods
- AutoMOTGen
- S-TaLiRo
- Quartz
- ANN toolbox
- TaLiRo
- Bayesian statistical model checking with application to Stateflow/Simulink verification
- APMC
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- STELLA
- ObjectMath
- CalCS
- SAL
- PEP
- NAT2TEST
- A two-way path between formal and informal design of embedded systems
- Lyapunov abstractions for inevitability of hybrid systems
- Computing bounded reach sets from sampled simulation traces
- S-TaLiRo: a tool for temporal logic falsification for hybrid systems
- Coloured timed Petri net model for real-time control of automated guided vehicle systems
- scientific article; zbMATH DE number 5957770 (Why is no real title available?)
- Esterel
- CyPhySim
- LySHA
- Zelus
- GRKLib
- Hybrid Trace Verifier
- PKind
- INFAMY
- ABsolver
- Circus
- Dynamic state machines for formalizing railway control system specifications
- Formal verification of Simulink/Stateflow diagrams
- Modechart
- An instrumentation-based approach to controller validation
- What is in a step: new perspectives on a classical question
- On Self-triggered Full-Information H-Infinity Controllers
- SCCharts
- DryVR
- AUTOSAR
- Refinement-oriented models of Stateflow charts
- scientific article; zbMATH DE number 1956479 (Why is no real title available?)
- scientific article; zbMATH DE number 2018592 (Why is no real title available?)
- Localizing Faults in Simulink/Stateflow Models with STL
- Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow
- Formal Verification of Simulink/Stateflow Diagrams
- Control: a perspective
- Statechartable Petri nets
- scientific article; zbMATH DE number 4350 (Why is no real title available?)
- Hybrid automata: an insight into the discrete abstraction of discontinuous systems
- scientific article; zbMATH DE number 7440190 (Why is no real title available?)
- MATLAB -- Simulink -- Stateflow. Foundations, toolboxes, examples
- Stateflow diagrams in Circus
- Computer Aided Verification
- Verification Condition Generation Via Theorem Proving
- Fundamental Approaches to Software Engineering
- Numerical computing with Simulink. Vol. I: Creating simulations.
- SMP-tool
- Check
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- Testing using CSP Models: Time, Inputs, and Outputs
- A type-based analysis of causality loops in hybrid systems modelers
- A type-based analysis of causality loops in hybrid systems modelers
- DyverseRBT
- Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow
- A mechanical analysis of program verification strategies
This page was built for software: StateFlow
