The eureka tool for software model checking. - Alessandro Armando; Massimo Benerecetti; Dario Carotenuto; Jacopo Mantovani; Pasquale Spica (ASE, 2007)