Login / Signup
From Traces To Proofs: Proving Concurrent Program Safe.
Chinmay Narayan
Shibashis Guha
S. Arun-Kumar
Published in:
CoRR (2015)
Keyphrases
</>
execution traces
computer programs
concurrent programs
program execution
mathematical proofs
decision trees
multiscale
reinforcement learning
logic programs
programming environment
test cases
log files
theorem proving
theorem prover
real time
multi agent systems
data structure
image sequences
data mining