Automated analysis of Stateflow models

DOI10.29007/B8GQMaRDI QIDQ4645732zbMATH OpenOpenAlexFDO

Authors Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux

Publication date 10 January 2019

Published in EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.29007/b8gq

zbMATH Keywords

continuation-passing stylemodel checkingstateflow

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal verification of Simulink/Stateflow diagrams
• Fundamental Approaches to Software Engineering
• Formal Verification of Simulink/Stateflow Diagrams
• scientific article; zbMATH DE number 7440190
• Refinement-oriented models of Stateflow charts

Cited in

(7)

• A formal framework for modeling and validating simulink diagrams
• State trace analysis: what it can and cannot do
• Formal verification of Simulink/Stateflow diagrams
• Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
• scientific article; zbMATH DE number 1796135 (Why is no real title available?)
• Reachability Analysis with State-Compatible Automata
• Automated Technology for Verification and Analysis

This page was built for publication: Automated analysis of Stateflow models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645732)