Sign in

Interference relation-guided SMT solving for multi-threaded program verification.

Hongyu FanWeiting LiuFei He
Published in: PPoPP (2022)
Keyphrases
  • multi threaded
  • operating system
  • information flow
  • multi core processors
  • computer architecture
  • multithreading
  • real time
  • high level
  • computer science
  • software engineering
  • low cost