Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report.

Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa

Browse the full FMICS paper archive.