State of the art in software verification and witness validation: SV-COMP 2024
D Beyer - International Conference on Tools and Algorithms for …, 2024 - Springer
The 13th edition of the Competition on Software Verification (SV-COMP 2024) was the
largest competition of its kind so far: A total of 76 tools for verification and witness validation …
largest competition of its kind so far: A total of 76 tools for verification and witness validation …
using Witnesses (Position Paper)
D Beyer - Bridging the Gap Between AI and Reality: First …, 2025 - books.google.com
This position paper accompanies a presentation and discussion at AISOLA 2023 on the
topic of how (generative) AI influences software engineering, namely, the development and …
topic of how (generative) AI influences software engineering, namely, the development and …
[PDF][PDF] Safeguarding AI-Based Software Development and Verification using Witnesses (Position Paper)
D Beyer - International Conference on Bridging the Gap between …, 2023 - library.oapen.org
This position paper accompanies a presentation and discussion at AISoLA 2023 on the topic
of how (generative) AI influences software engineering, namely, the development and …
of how (generative) AI influences software engineering, namely, the development and …