A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover

K. Rustan M. Leino, Madanlal Musuvathi, and Xinmin Ou

Details

Publication typeProceedings
Published inin TACAS 2005: Eleventh Conference on Tools and Algorithms for the Construction and Analysis of Software
PublisherSpringer Verlag
> Publications > A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover