226 citations · 398 across the 10 of their papers we have counts for
4 papers · 1 filter
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…
Unfolding-Based Process Discovery
Hernán Ponce-de-León, César Rodríguez, Josep Carmona +2
This paper presents a novel technique for process discovery. In contrast to the current trend, which only considers an event log for discovering a process model, we assume two addi…
Tarmo: A Framework for Parallelized Bounded Model Checking
Siert Wieringa, Matti Niemenmaa, Keijo Heljanko
This paper investigates approaches to parallelizing Bounded Model Checking (BMC) for shared memory environments as well as for clusters of workstations. We present a generic framew…
Linear Encodings of Bounded LTL Model Checking
Armin Biere, Keijo Heljanko, Tommi Junttila +2
We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound. Furthermore, we…