Author:
Ren Hao,Bhatt Devesh,Hvozdovic Jan
Publisher
Springer International Publishing
Reference7 articles.
1. Bhatt, D., Madl, G., Oglesby, D.: System Architecture Driven Software Design Analysis Methodology and Toolset. In: SAE International (2012)
2. RTCA DO-178C, Software Considerations in Airborne Systems and Equipment Certification, RTCA Inc. (2011)
3. Bhatt, D., Madl, G., Oglesby, D., Schloegel, K.: Towards scalable verification of commercial avionics software. In: Proceedings of the AIAA Infotech @ Aerospace Conference, April 2010
4. Z3Prover. https://github.com/Z3Prover/z3/wiki/
5. The Yices SMT Solver. http://yices.csl.sri.com/
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Improving Bit-Blasting for Nonlinear Integer Constraints;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
2. Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12
3. SMT-Based Model Checking of Industrial Simulink Models;Formal Methods and Software Engineering;2022