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