Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture).

Tatiana Rybina, Andrei Voronkov

Browse the full CSL paper archive.