Proving Reachability Using FShell - (Competition Contribution).

Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith

Browse the full TACAS paper archive.