TY  - RPRT
TI  - From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques
AU  - Vasileios Koutavas
AU  - Yu-Yang Lin
AU  - Nikos Tzevelekos
PY  - 2021
UR  - https://arxiv.org/abs/2105.02541
ID  - 2105.02541
ER  -