Context-Bounded Verification of Liveness Properties for
Multithreaded Shared-Memory Programs: Intro
Too Long; Didn't Read
We study context-bounded verification of liveness properties of multi-threaded, shared-memory programs, where each thread can spawn additional threads.