Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification

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…