Verifying Parallel Code After Refactoring Using Equivalence Checking
Crossref DOI link: https://doi.org/10.1007/s10766-017-0548-4
Published Online: 2018-01-06
Published Print: 2019-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Abadi, Moria http://orcid.org/0000-0002-2605-4272
Keidar-Barner, Sharon
Pidan, Dmitry
Veksler, Tatyana
Text and Data Mining valid from 2018-01-06
Article History
Received: 30 May 2017
Accepted: 17 December 2017
First Online: 6 January 2018