Software model checking via large-block encoding. - Beyer, Dirk; Cimatti, Alessandro; Griggio, Alberto; Keremoglu, M. Erkan; Sebastiani, Roberto (2009)