Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker.

Dirk Beyer, Karlheinz Friedberger

Browse the full ISoLA paper archive.