1. Beyer, D.: Competition on software verification and witness validation: SV-COMP 2023. In: TACAS. LNCS, vol. 13994, pp. 495–522. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-30820-8_29
2. Lecture Notes in Computer Science;D Beyer,2018
3. Lecture Notes in Computer Science;D Beyer,2015
4. Lecture Notes in Computer Science;D Beyer,2011
5. Beyer, D., Keremoglu, M.E., Wendler, P.: Predicate abstraction with adjustable-block encoding. In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20–23, pp. 189–197. IEEE (2010). https://ieeexplore.ieee.org/document/5770949/