verification

IntervalAI

An abstract interpreter for an integer interval domain supporting basic operations