Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander
暂无分享,去创建一个
Bohua Zhan | Bai Xue | Naijun Zhan | Mengfei Yang | Xiaofeng Li | Xiong Xu | Shuling Wang | Xiangyu Jin | Bin Gu | Yao Chen
[1] Shengchao Qin,et al. Verifying Simulink diagrams via a Hybrid Hoare Logic Prover , 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).
[2] Liang Zou,et al. An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems , 2015, ICFEM.
[3] Naijun Zhan,et al. Automatically Generating SystemC Code from HCSP Formal Models , 2020, ACM Trans. Softw. Eng. Methodol..
[4] Bin Gu,et al. Formal Verification of a Descent Guidance Control Program of a Lunar Lander , 2014, FM.
[5] Hui Kong,et al. Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems , 2013, CAV.
[6] Martin Fränzle,et al. Formal Verification of Simulink/Stateflow Diagrams , 2015, ATVA.
[7] Tao Tang,et al. Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL , 2015, Science China Information Sciences.
[8] Chaochen Zhou,et al. Super-Dense Computation in Verification of Hybrid CSP Processes , 2013, FACS.