Improving the Encoding of LTL Model Checking into SAT.

Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani

Browse the full VMCAI paper archive.