Software Model Checking with Explicit Scheduler and Symbolic Threads

Alessandro Cimatti, Iman Narasamdya, Marco Roveri

In many practical application domains, the software is organized into a set of threads, whose activation is exclusive and controlled by a cooperative scheduling policy: threads exe…