Skip to content
GitLab
Explore
Sign in
SVPSYS Software
Framework for Equivalence Checking of Parallelized Code
Tags
PatEC-SPIN2021
PatEC-SPIN2021
Jakobs, Marie-Christine
@mjakobs
5924f65e
·
updated script that it can be called from different directories
·
May 29, 2021
version used for PatEC evaluation in SPIN2021 paper