Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
No abstract available.
Related papers
- Mechanized semantics and verified compilation for a dataflow synchronous language with reset POPL 2020
- C2E2: A Verification Tool for Stateflow Models TACAS 2015
- Translation Validation: From Simulink to C CAV 2009
- Automatic parallelization of simulink applications CGO 2010
- Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables SAS 2010
- Finding ∀∃ Hyperbugs using Symbolic Execution OOPSLA 2024
- Symbolically modeling concurrent MCAPI executions PPoPP 2011
- Trace-Guided Synthesis of Effectful Test Generators PLDI 2026