On Detecting Concurrency Defects Automatically at the Design Level.

Frank Padberg, Luis M. Carril, Oliver Denninger, Martin Blersch

Browse the full APSEC paper archive.