1 citations · 1 across the 2 of their papers we have counts for
2 papers
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.LO2003
Bounded LTL Model Checking with Stable Models
Keijo Heljanko, Ilkka Niemelä
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syste…