A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification
暂无分享,去创建一个
[1] Helmut Veith,et al. Counterexample-guided abstraction refinement for symbolic model checking , 2003, JACM.
[2] Corina S. Pasareanu,et al. Automated Assume-Guarantee Reasoning by Abstraction Refinement , 2008, CAV.
[3] Chao Wang,et al. Hybrid CEGAR: combining variable hiding and predicate abstraction , 2007, ICCAD 2007.
[4] Zhenhua Duan,et al. Making CEGAR More Efficient in Software Model Checking , 2014, IEEE Transactions on Software Engineering.
[5] Hermann Kaindl,et al. Poster: Systematic Top-Down Design of Cyber-Physical Models with Integrated Validation and Formal Verification , 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).
[6] Abelardo Pardo,et al. Tearing based automatic abstraction for CTL model checking , 1996, Proceedings of International Conference on Computer Aided Design.
[7] Erika Ábrahám,et al. A CEGAR approach for the reachability analysis of PLC-controlled chemical plants , 2014, Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014).
[8] Hermann Kaindl,et al. Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination , 2016, 2016 23rd Asia-Pacific Software Engineering Conference (APSEC).
[9] Olaf Stursberg,et al. Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement , 2003, TACAS.
[10] Erika Ábrahám,et al. Two CEGAR-based approaches for the safety verification of PLC-controlled plants , 2016, Inf. Syst. Frontiers.
[11] Olaf Stursberg,et al. Verification of a Cruise Control System using Counterexample-Guided Search , 2004 .
[12] Marta Kwiatkowska,et al. Probabilistic model checking: advances and applications , 2018 .