FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

From Bounded Checking to Verification of Equivalence via Symbolic up-to Techniques (Extended Abstract)

Yu-Yang Lin, Vasileios Koutavas and Nikos Tzevelekos