Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization
暂无分享,去创建一个
Bohua Zhan | Xiong Xu | Shuling Wang | Panhua Guo | Wenhui Sun | Shuling Wang | Bohua Zhan | Xiong Xu | Pan Guo | Wenhui Sun
[1] Martin Fränzle,et al. Formal Verification of Simulink/Stateflow Diagrams , 2015, ATVA.
[2] Bohua Zhan,et al. Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow , 2020, Journal of Computer Science and Technology.
[3] Flemming Nielson,et al. Principles of Program Analysis , 1999, Springer Berlin Heidelberg.
[4] Amnon Naamad,et al. The STATEMATE semantics of statecharts , 1996, TSEM.
[5] John M. Rushby,et al. An operational semantics for Stateflow , 2004, International Journal on Software Tools for Technology Transfer.
[6] Mahesh Viswanathan,et al. Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 , 2016, CAV.
[7] Bin Gu,et al. Formal Verification of a Descent Guidance Control Program of a Lunar Lander , 2014, FM.
[8] Liang Zou,et al. An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems , 2015, ICFEM.
[9] Yu Jiang,et al. Verifying Simulink Stateflow model: Timed automata approach , 2016, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
[10] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[11] Grégoire Hamon,et al. A denotational semantics for stateflow , 2005, EMSOFT.
[12] Chaochen Zhou,et al. A Calculus for Hybrid CSP , 2010, APLAS.
[13] Mahesh Viswanathan,et al. C2E2: A Verification Tool for Stateflow Models , 2015, TACAS.
[14] Stavros Tripakis,et al. Defining and translating a "safe" subset of simulink/stateflow into lustre , 2004, EMSOFT '04.
[15] Jun Sun,et al. Formal modeling and validation of Stateflow diagrams , 2012, International Journal on Software Tools for Technology Transfer.
[16] Tao Tang,et al. Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL , 2015, Science China Information Sciences.
[17] Naijun Zhan,et al. Formal Verification of Simulink/Stateflow Diagrams, A Deductive Approach , 2016 .