Computing Exact Loop Bounds for Bounded Program Verification.

Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri

Browse the full SETTA paper archive.