Identifies pitfalls of choosing program verification tools for invariant detection and specific challenges in modeling program behavior with CVC4, along with ideas to address them.
Checking Safety Properties Using Induc- tion and a SAT-Solver
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Invariant Detection with Program Verification Tools
Identifies pitfalls of choosing program verification tools for invariant detection and specific challenges in modeling program behavior with CVC4, along with ideas to address them.