Login / Signup
Verifying Parallel Code After Refactoring Using Equivalence Checking.
Moria Abadi
Sharon Keidar-Barner
Dmitry Pidan
Tatyana Veksler
Published in:
Int. J. Parallel Program. (2019)
Keyphrases
</>
source code
parallel implementation
parallel processing
distributed memory
database
model checking
parallel computation
shared memory
databases
data warehouse
software engineering
software evolution
parallel programming
code generation