From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques.

Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

Browse the full TACAS paper archive.