20 citations · 27 across the 5 of their papers we have counts for
1 paper · 2 filters
Liangze Yin, Wei Dong, Wanwei Liu +1
Bounded model checking is among the most efficient techniques for the automatic verification of concurrent programs. However, encoding all possible interleavings often requires a h…