Publisher
Springer Nature Switzerland
Reference30 articles.
1. Base Specifications POSIX.1-2017. Standard, The Open Group, San Francisco, CA, January 2018. https://pubs.opengroup.org/onlinepubs/9699919799/
2. Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB standard: version 2.6. Technical Report, Department of Computer Science, The University of Iowa (2017), www.SMT-LIB.org
3. Beyer, D.: Competition on software verification and witness validation: SV-COMP 2023. In: Sankaranarayanan, S., Sharygina, N. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2023. LNCS, vol. 13994, pp 495–522. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-30820-8_29
4. Beyer, D., Friedberger, K.: A light-weight approach for verifying multi-threaded programs with CPAchecker. In: MEMICS. EPTCS, vol. 233, pp. 61–71 (2016). https://doi.org/10.4204/EPTCS.233.6
5. Lecture Notes in Computer Science;D Beyer,2011
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献