IKOS: A Framework for Static Analysis Based on Abstract Interpretation.

Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet

Browse the full SEFM paper archive.