Infeasible Paths Elimination by Symbolic Execution Techniques - Proof of Correctness and Preservation of Paths.

Romain Assat, Frdric Voisin, Burkhart Wolff

Browse the full ITP paper archive.