Verification of MPI programs.

Andrew M. Mironov

Published in: CoRR (2021)

Keyphrases

symbolic execution
hardware designs
parallel implementation
neural network
model checking
parallel algorithm
message passing
shared memory
test generation
provably correct
general purpose
face verification
information systems
artificial intelligence
learning algorithm
parallel computing
genetic algorithm
data sets