specialization-based software model checking method / abstract reachability algorithm / software model checkers / software model checking systems / software model checking / reachability algorithms / software model checking approach / pre-processing phase / obtained using state-of-the-art software model checking systems / /
Specialization with Constrained Generalization for Software Model Checking Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1