Login / Signup
CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution).
Manchun Zheng
John G. Edenhofner
Ziqing Luo
Mitchell J. Gerrard
Michael S. Rogers
Matthew B. Dwyer
Stephen F. Siegel
Published in:
TACAS (2016)
Keyphrases
</>
special case
main contribution
lightweight
real time
database
neural network
information retrieval
genetic algorithm
case study
database systems
probabilistic model
software systems