Software model checking via large-block encoding.

Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani

Browse the full FMCAD paper archive.