Proving Reachability Using FShell - (Competition Contribution). (TACAS, 2012)

(untitled) - Holzer, A; Kroening, D; Schallhart, C; Tautschnig, M; Veith, H