Login / Signup

Modular Termination Verification of Single-Threaded and Multithreaded Programs.

Bart JacobsDragan BosnackiRuurd Kuiper
Published in: ACM Trans. Program. Lang. Syst. (2018)
Keyphrases
  • symbolic execution
  • hardware designs
  • databases
  • model checking
  • multithreading