Towards automatic determination of problem bounds for object instantiation in static model verification.

Mathias Soeken, Robert Wille, Rolf Drechsler

Browse the full MODELS paper archive.