Causality-Based Verification of Multi-threaded Programs.

Andrey Kupriyanov, Bernd Finkbeiner

Browse the full CONCUR paper archive.