Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction.

Alexey Bakhirkin, Josh Berdine, Nir Piterman

Browse the full SAS paper archive.