PEQcheck: Localized and Context-aware Checking of Functional Equivalence
Titel | PEQcheck: Localized and Context-aware Checking of Functional Equivalence |
Publication Type | Konferenzartikel (erschienen) |
Year of Publication | 2021 |
Authors | Jakobs, M-C |
Conference Name | Proceedings of the 9th International Conference on Formal Methods in Software Engineering (FormaliSE) |
Pagination | 130-140 |
Publisher | IEEE |
DOI | 10.1109/FormaliSE52586.2021.00019 |
Undefined