GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution).

Falk Howar, Malte Mues

Browse the full TACAS paper archive.