173 citations · 655 across the 66 of their papers we have counts for
Showing 2017 · cs.LOShow all
2 papers · 2 filters
cs.LO2017★ 1 cited
Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version)
Eugene Goldberg, Matthias Gudemann, Daniel Kroening +1
We consider the problem of efficiently checking a set of safety properties P1,....,Pk of one design. We introduce a new approach called JA-verification where JA stands for "Just-As…
cs.LO2017
Lifting CDCL to Template-based Abstract Domains for Program Verification
Rajdeep Mukherjee, Peter Schrammel, Leopold Haller +2
The success of Conflict Driven Clause Learning (CDCL) for Boolean satisfiability has inspired adoption in other domains. We present a novel lifting of CDCL to program analysis call…