Reachability in Binary Multithreaded Programs Is Polynomial.

Alexander Malkis Steffen Borgwardt

Published in: ICDCS (2017)

Keyphrases

state space
mutual exclusion
multi user
transitive closure
databases
machine learning
genetic algorithm
decision trees
computer programs
non binary
low order
provably correct