Proving Reachability Using FShell - (Competition Contribution). - Holzer, A; Kroening, D; Schallhart, C; Tautschnig, M; Veith, H (TACAS, 2012)