1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SC2024
Certifying Phase Abstraction
Nils Froleyks, Emily Yu, Armin Biere +1
Certification helps to increase trust in formal verification of safety-critical systems which require assurance on their correctness. In hardware model checking, a widely used form…
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…