Precondition inference is a non-trivial problem with important applicati...
Precondition inference is a non-trivial task with several applications i...
We present a method for automatic inference of conditions on the initial...
Binary Decision Diagram (BDD) based set bounds propagation is a powerful...