Author:
Barnat Jiri,Beran Jan,Brim Lubos,Kratochvíla Tomas,Ročkai Petr
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Lecture Notes in Computer Science;B. Meenakshi,2006
2. Lecture Notes in Computer Science;J. Barnat,2006
3. Bhatt, D., Madl, G., Oglesby, D., Schloegel, K.: Towards Scalable Verification of Commercial Avionics Software (2010),
http://www.ics.uci.edu/~gabe/papers/BMOS_AIAA_2010.pdf
4. Bhatt, D., Schloegel, K.: Effective Verification of Flight Critical Software Systems: Issues and Approaches. Presented at NSF/Microsoft Research Workshop on Usable Verification (November 2010)
5. Bingham, B., Bingham, J., de Paula, F.M., Erickson, J., Singh, M., Reitblatt, G.: Industrial Strength Distributed Explicit State Model Checking. In: Parallel and Distributed Methods in Verification and High Performance Computational Systems Biology (HiBi/PDMC), pp. 28–36. IEEE (2010)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Verification of Universal Numbers using Theorem Proving;Journal of Electronic Testing;2024-06
2. Formal Methods in Requirements Engineering: Survey and Future Directions;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14
3. A semi-automated approach for requirement-based early validation of flight control platforms;CEAS Aeronautical Journal;2022-12-20
4. Unite: an adapter for transforming analysis tools to web services via OSLC;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
5. DivSIM , an interactive simulator for LLVM bitcode;International Journal on Software Tools for Technology Transfer;2022-04-01