Search alternatives:
"proving" » "providing", "improving", "province"
Cover Image
Read Now

2
Published 2011
Springer Berlin Heidelberg
“... on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Event Spaces in PVS -- Proving Equalities in a Commutative Ring Done Right in Coq -- A HOL Theory...”
Cover Image
Read Now

4
Published 2009
Springer Berlin Heidelberg
“... Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full...”
Cover Image
Read Now

5
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Source-Level Proof Reconstruction for Interactive Theorem Proving -- Proof Pearl: The Power of Higher...”
Cover Image
Read Now

6
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... and Programming -- Proving and Disproving Termination of Higher-Order Functions -- Proving Liveness with Fairness...”
Cover Image
Read Now

7
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Solvers -- Refinement and Theorem Proving -- Floating-Point Verification Using Theorem Proving...”
Cover Image
Read Now

8
Published 2020
Springer International Publishing
Table of Contents: “...-based theorem proving, including (co)inductive theorem proving -- Rewriting-based constraint solving...”
Cover Image
Read Now

9
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... and Specifications -- Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic -- Testing...”
Cover Image
Read Now

10
Published 2009
Springer Berlin Heidelberg
“... data, oracles, or preambles by theorem proving, model checking, symbolic execution, or constraint logic...”
Cover Image
Read Now

11
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Normalization Algorithm in Isabelle/HOL -- A Structured Approach to Proving Compiler Optimizations Based...”
Cover Image
Read Now

12
Published 2019
Springer International Publishing
Table of Contents: “... proving -- Program certification -- Debugging techniques -- Program transformation -- Optimization...”
Cover Image
Read Now

13
by Cruz, Lito Perez
Published 2021
Springer International Publishing
“... found in doing mathematical proofs. Simply written, it introduces the art and science of proving...”
Cover Image
Read Now

14
Published 2018
Springer International Publishing
Table of Contents: “... proving -- Program certification -- Debugging techniques -- Program transformation -- Optimization...”
Cover Image
Read Now

15
Published 2018
Springer International Publishing
Table of Contents: “... Reasoning Modulo Associativity in Maude -- Proving Structural Properties of Sequent Systems in Rewriting...”
Cover Image
Read Now

16
by Robič, Borut
Published 2015
Springer Berlin Heidelberg
Table of Contents: “... Problems -- Methods of Proving the Incomputability -- Computation with External Help -- Degrees...”
Cover Image
Read Now

17
by Nipkow, Tobias, Klein, Gerwin
Published 2014
Springer International Publishing
Table of Contents: “...Introduction -- Programming and Proving -- Case Study: IMP Expressions -- Logic and Proof Beyond...”
Cover Image
Read Now

18
by Kurki-Suonio, R.
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Properties of Behaviors -- Proving Behavioral Properties -- Building a Practical Theory -- Basic Language...”
Cover Image
Read Now

19
Published 2021
Springer International Publishing
Table of Contents: “...Invited Papers -- Quantitative vs. Weighted Automata -- Theorem Proving Using Clausal Resolution...”
Cover Image
Read Now

20
Published 2022
Springer International Publishing
Table of Contents: “... Systems Analysing Parallel Complexity of Term Rewriting -- Gonnord Confluence Framework: Proving...”