Sign in

Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution).

Fei HeZhihang SunHongyu Fan
Published in: TACAS (2) (2022)
Keyphrases
  • multi threaded
  • multi core processors
  • operating system
  • computer architecture
  • information flow
  • multithreading
  • real time
  • data management
  • programming environment