From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques
You are here
| Title | From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques |
| Publication Type | Conference Paper |
| Year of Publication | 2022 |
| Authors | Koutavas V, Lin Y-Y, Tzevelekos N |
| Editor | Fisman D, Rosu G |
| Conference Name | Tools and Algorithms for the Construction and Analysis of Systems |
| Date Published | 03 |
| Publisher | Springer International Publishing |
| Conference Location | Cham |
| ISBN Number | 978-3-030-99527-0 |
| URL | https://link.springer.com/chapter/10.1007/978-3-030-99527-0_10#citeas |
| DOI | 10.1007/978-3-030-99527-0_10 |
