1 paper · 1 filter
Martin Leucker
To maximize the information gained from a single execution when verifying a concurrent system, one can derive all concurrency-aware equivalent executions and check them against lin…