Login / Signup

Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation).

Sagar ChakiArie GurfinkelOfer Strichman
Published in: Formal Methods Syst. Des. (2015)
Keyphrases
  • multi threaded
  • model checking
  • neural network
  • information flow
  • formal methods
  • multithreading
  • artificial intelligence
  • high level
  • low cost
  • graph cuts
  • computer architecture
  • multi core processors