Boolean Abstraction for Temporal Logic Satisfiability.

Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta

Browse the full CAV paper archive.