Bounded Verification of Past LTL.

Alessandro Cimatti, Marco Roveri, Daniel Sheridan

Browse the full FMCAD paper archive.