4 citations · 13 across the 5 of their papers we have counts for
Showing 2022 · cs.LOShow all
2 papers · 2 filters
cs.LO2022★ 1 cited
Stratified Certification for k-Induction
Emily Yu, Nils Froleyks, Armin Biere +1
Our recently proposed certification framework for bit-level k-induction-based model checking has been shown to be quite effective in increasing the trust of verification results ev…
cs.LO2022★ 4 cited
Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses
Mathias Fleury, Armin Biere
We give a first account of our new parallel SAT solver Gimsatul. Its key feature is to share clauses physically in memory instead of copying them, which is the method of other stat…