SMT-Based Software Model Checking - Explicit Scheduler, Symbolic Threads.

Alessandro Cimatti

Browse the full ATVA paper archive.