Automated analysis of Stateflow models

DOI10.29007/b8gqzbMath1403.68122OpenAlexW2736911465MaRDI QIDQ4645732

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

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

model checkingcontinuation-passing stylestateflow

Mathematics Subject Classification ID

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

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