Developing multithreaded techniques and improved constraint handling for the tool CAgen.

Michael Wagner, Manuel Leithner, Dimitris E. Simos, Rick Kuhn, Raghu Kacker

Browse the full ICST paper archive.