Software Verification Witnesses 2.0
P. Ayaziová, D. Beyer, M. Lingsch-Rosenfeld, M. Spiessl, and J. Strejček. In: Model Checking Software. SPIN 2024. Lecture Notes in Computer Science, vol 14624. Springer, Cham.
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution (Competition Contribution)
M. Jonáš, K. Kumor, J. Novák, J. Sedláček, M. Trtík, L. Zaoral, P. Ayaziová and J. Strejček. In: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024. Lecture Notes in Computer Science, vol 14572. Springer, Cham.
Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 (Competition Contribution)
P. Ayaziová and J. Strejček. In: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024. Lecture Notes in Computer Science, vol 14572. Springer, Cham.
Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution)
P. Ayaziová and J. Strejček. In: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2023. Lecture Notes in Computer Science, vol 13994. Springer, Cham.
Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution)
P. Ayaziová, M. Chalupa, and J. Strejček. In: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022. Lecture Notes in Computer Science, vol 13244. Springer, Cham.
Symbiotic 7: Integration of Predator and More (Competition Contribution)
M. Chalupa, T. Jašek, L. Tomovič, M. Hruška, V. Šoková, P. Ayaziová, J. Strejček, and T. Vojnar. In: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2020. Lecture Notes in Computer Science, vol 12079. Springer, Cham.