PEQcheck: Localized and Context-aware Checking of Functional Equivalence

  • Veröffentlicht am: 24 November, 2021 - 19:39
TitelPEQcheck: Localized and Context-aware Checking of Functional Equivalence
Publication TypeKonferenzartikel (erschienen)
Year of Publication2021
AuthorsJakobs, M-C
Conference NameProceedings of the 9th International Conference on Formal Methods in Software Engineering (FormaliSE)
Pagination130-140
PublisherIEEE
DOI10.1109/FormaliSE52586.2021.00019
Undefined