Login / Signup

Lifting CDCL to Template-Based Abstract Domains for Program Verification.

Rajdeep MukherjeePeter SchrammelLeopold HallerDaniel KroeningTom Melham
Published in: ATVA (2017)
Keyphrases
  • sat solvers
  • wavelet transform
  • genetic algorithm
  • sat encodings
  • upper bound
  • model checking