226 citations · 237 across the 3 of their papers we have counts for
1 paper · 1 filter
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…