EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution).

Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro

Browse the full TACAS paper archive.