… 2 Concurrent Programs We consider a simple but general concurrent programming
model in the style of single-threaded event-driven programs. (The style is typically used as a …

… our approach on a motivating example in Section 2. After a background section on concurrent
programs (Section … Here, we focus on our efficient proof check based on sequentialization. …

… a simple execution of the program in an idealized synchronous … concurrent programs. In
our methodology, the overall correctness of a program is established piecemeal by focusing on …

… The goal of this paper is to find a similar translation for parameterized concurrent programs
… 0 on the number of rounds. We perform a lazy sequentialization of a parameterized program …

… Next we recommend moving on to Chapter 3 on while programs and before each of the …
book is on verification of concurrent programs, in par- ticular of parallel and distributed programs …

… We propose a sequentialization technique that for any k, transforms the concurrent program
… Here, we discuss the soundness of our sequentialization, ie every error state in the resulting …

… We focus on an approach based on sequentialization (… sequential program) of a time-bounded
periodic program. We … W, sequentialize the resulting job-bounded concurrent program, …

… Here, we develop and implement a lazy sequentialization that can handle programs with …
concurrent programs. However, here we focus on more closely related sequentialization …

… these concurrent languages. It is often the case that by sequentializing portions of a fine-grain
parallel program, … a method to safely sequentialize pieces of concurrent programs, with the …

… Many model checking tools for concurrent programs are based on code sequentialization.
In [17], Qadeer and Wu present, for the C language, a transformation from parallel to …