Skip to content

Framework for Equivalence Checking of Parallelized Code