Raven: An SMT-Based Concurrency Verifier.

Ekanshdeep Gupta, Nisarg Patel, Thomas Wies

Browse the full CAV paper archive.