Symbolic Model Checking of Relative Safety LTL Properties.

Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni

Browse the full IFM paper archive.