2023_10_11_vmcai24_paper
📝 The paper Generation of Violation Witnesses by Under-Approximating Abstract Interpretation is accepted at VMCAI 2024.
📝 The paper Generation of Violation Witnesses by Under-Approximating Abstract Interpretation is accepted at VMCAI 2024.