The NCSU Concurrency Workbench.

Rance Cleaveland, Steve Sims

Browse the full CAV paper archive.