Apron: A Library of Numerical Abstract Domains for Static Analysis.

Bertrand Jeannet, Antoine Min

Browse the full CAV paper archive.