Login / Signup

Causality-Based Verification of Multi-threaded Programs.

Andrey KupriyanovBernd Finkbeiner
Published in: CONCUR (2013)
Keyphrases
  • multi threaded
  • java programs
  • operating system
  • multi core processors
  • computer architecture
  • information flow
  • multithreading
  • model checking
  • computer programs
  • social networks
  • parallel computing