School of Computer Science, University of Birmingham, UK; Department of Computer Science, University of Oxford, UK
Alessandro Abate, Alec Edwards, Mirco Giacobbe
abstractions;safety verification;SAT modulo theory;CEGIS
Neural Abstractions