Generation of Violation Witnesses by Under-Approximating Abstract Interpretation

Lecture Notes in Computer Science (2024) - Comments
doi: 10.1007/978-3-031-50524-9_3 issn: 0302-9743 issn: 1611-3349

Marco Milanese, Antoine Miné