Stem pltl$ (all stems)

4 papers:

IJCAR-2012-SudaW

A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance (MS, CW), pp. 537–543.

CSL-2007-GaintzarainHLNO #calculus #invariant

A Cut-Free and Invariant-Free Sequent Calculus for PLTL (JG, MH, PL, MN, FO), pp. 481–495.

CAV-2005-HeljankoJL #bound #incremental #model checking

Incremental and Complete Bounded Model Checking for Full PLTL (KH, TAJ, TL), pp. 98–111.

IFM-2000-MassonMJ #composition #verification

Modular Verification for a Class of PLTL Properties (PAM, HM, JJ), pp. 398–419.