Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 - (Competition Contribution).

Paulna Ayaziov, Jan Strejcek

Browse the full TACAS paper archive.