Login / Signup

A Basis for Verifying Multi-threaded Programs.

K. Rustan M. LeinoPeter Müller
Published in: ESOP (2009)
Keyphrases
  • multi threaded
  • operating system
  • information flow
  • multi core processors
  • computer architecture
  • multithreading
  • real time
  • data processing
  • model checking