Skip to content
GitLab
Explore
Sign in
SVPSYS Software
Framework for Equivalence Checking of Parallelized Code
Tags
ETAPS2020-general
ETAPS2020-general
Jakobs, Marie-Christine
@mjakobs
271dd968
·
Improved general checker, continued with doAll pattern check
·
Aug 31, 2020
PEQcheck used to evaluate GeneralChecker for ETAPS 2020 submission