Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Xavier Thirioux
Publications
Automated analysis of Stateflow models
Hamza Bourbouh
,
Pierre-Loic Garoche
,
Christophe Garion
,
Arie Gurfinkel
,
Temesghen Kahsai
and
Xavier Thirioux
In
:
LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Keyphrases
continuation-passing style
,
model checking
,
Stateflow
.
Copyright © 2012-2024 easychair.org. All rights reserved.