Login / Signup

Spade: Verification of Multithreaded Dynamic and Recursive Programs.

Gaël PatinMihaela SighireanuTayssir Touili
Published in: CAV (2007)
Keyphrases
  • recursive programs
  • program synthesis
  • logic programs
  • query processing
  • logic programming