Saturation-Based Incremental LTL Model Checking with Inductive Proofs.

Vince Molnr, Dniel Darvas, Andrs Vrs, Tams Bartha

Browse the full TACAS paper archive.