Abstraction Modulo Stability for Reverse Engineering.

Anna Becchi, Alessandro Cimatti

Browse the full CAV paper archive.