A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance.

Martin Suda, Christoph Weidenbach

Browse the full CADE paper archive.