MPG.eBooks - Search Results - "prover"

Search alternatives:
"prover" » "proven", "proved", "proves"

Cover Image

1

Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... Provers in the Jahob Data Structure Verification System -- Invited Tutorial -- Interpolants and Symbolic...”

Cover Image

2

Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice...

Published 2004

Springer Berlin Heidelberg

Table of Contents: “...Theorem Proving -- Revisiting Positive Equality -- An Interpolating Theorem Prover -- Minimal...”