Author:
Baranová Zuzana,Barnat Jiří,Kejstová Katarína,Kučera Tadeáš,Lauko Henrich,Mrázek Jan,Ročkai Petr,Štill Vladimír
Publisher
Springer International Publishing
Reference8 articles.
1. Lecture Notes in Computer Science;A Duret-Lutz,2016
2. Lecture Notes in Computer Science;J Mrázek,2016
3. Ramalho, M., Freitas, M., Sousa, F., Marques, H., Cordeiro, L., Fischer, B.: SMT-based bounded model checking of C++ programs. In: Engineering of Computer Based Systems (ECBS), pp. 147–156. IEEE Computer Society (2013)
4. Ročkai, P., Barnat, J.: A Simulator for LLVM Bitcode. Preliminary version, arXiv:1704.05551 (2017)
5. Ročkai, P., Barnat, J., Brim, L.: Improved state space reductions for LTL model checking of C & C++ programs. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013, vol. 7871, pp. 1–15. Springer, Heidelberg (2013). doi: 10.1007/978-3-642-38088-4_1
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Extending the range of bugs that automated program repair can handle;Journal of Systems and Software;2024-03
2. State of the Art in Software Verification and Witness Validation: SV-COMP 2024;Lecture Notes in Computer Science;2024
3. Formalizing Model Inference of MicroPython;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W);2023-06
4. Go2Pins: a framework for the LTL verification of Go programs (extended version);International Journal on Software Tools for Technology Transfer;2023-01-06
5. Competition on Software Verification and Witness Validation: SV-COMP 2023;Tools and Algorithms for the Construction and Analysis of Systems;2023