Login / Signup

CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution).

Manchun ZhengJohn G. EdenhofnerZiqing LuoMitchell J. GerrardMichael S. RogersMatthew B. DwyerStephen 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