Infinite State Model Checking by Learning Transitive Relations.

Florian Frohn, Jrgen Giesl

Browse the full CADE paper archive.