Automated Verification of Parallel Nested DFS.

Wytse Oortwijn Marieke Huisman Sebastiaan J. C. Joosten Jaco van de Pol

Published in: TACAS (1) (2020)

Keyphrases

automated verification
depth first search
model checking
automated reasoning
formal verification
parallel implementation
expert systems
breadth first search
distributed memory
parallel computing
massively parallel
tree search
parallel computation
parallel processing
load balancing
general purpose
machine learning