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

81
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Proving -- Mechanizing Proofs of Computation Equivalence -- Linking Theorem Proving and Model-Checking...”
Cover Image
Read Now

82
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... and Their Semantics - The Parallel Case -- Reasoning Support for Casl with Automated Theorem Proving Systems...”
Cover Image
Read Now

83
Published 1991
Springer London
Table of Contents: “... Control is Not Quite Categorical Control -- Simple Type Theory in EVES -- Formal Synthesis -- Proving...”
Cover Image
Read Now

84
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... of Atomicity Violations -- Proving Mutual Termination of Programs -- Knowledge Based Transactional Behavior...”
Cover Image
Read Now

85
Published 2018
Springer International Publishing
Table of Contents: “... and interactive theorem proving -- Logical methods in protocol and program verification -- Logical methods...”
Cover Image
Read Now

86
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...Completeness of extended unification based on basic narrowing -- Proving definite clauses without...”
Cover Image
Read Now

87
Published 2014
Springer International Publishing
Table of Contents: “...Model checking -- Theorem proving -- Static analysis -- Model-based development -- Runtime...”
Cover Image
Read Now

88
Published 2019
Springer International Publishing
Table of Contents: “... Compiler -- Types and Verication Proving Type Class Laws for Haskell -- Dynamic Flow Analysis...”
Cover Image
Read Now

89
Published 2000
Springer Berlin Heidelberg
Table of Contents: “..., Automata, and Power Series -- Proving Pointer Programs in Hoare Logic -- On Guarded Commands with Fair...”
Cover Image
Read Now

90
by McIver, Annabelle, Morgan, Charles Carroll
Published 2005
Springer New York
Table of Contents: “... -- Theory for the demonic model -- The geometry of probabilistic programs -- Proved rules for probabilistic...”
Cover Image
Read Now

91
Published 2016
Springer International Publishing
Table of Contents: “... Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness -- Product Rules...”
Cover Image
Read Now

92
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... of Transformations in Compiler Back-Ends -- Accurate Theorem Proving for Program Verification -- Designing Safe...”
Cover Image
Read Now

93
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... with Isabelle and QEPCAD-B -- Session 9: Program Verification -- Heap Assumptions on Demand -- Proving...”
Cover Image
Read Now

94
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... Theoryof Program Composition -- Lectures on Data Refinement -- Refinement Alerebra Proves Correctness...”
Cover Image
Read Now

95
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...-Oriented Programming -- Technical Papers -- Short Cut Fusion: Proved and Improved -- Generation...”
Cover Image
Read Now

96
Published 2016
Springer Berlin Heidelberg
Table of Contents: “... -- Proof and Theorem Proving -- Towards Formal Proof Metrics -- Reduction Rules for Colored Workflow Nets...”
Cover Image
Read Now

97
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...: x86 Assembler Simulated in C Powered by Automated Theorem Proving -- Evolving Specification...”
Cover Image
Read Now

98
Published 1980
Springer Berlin Heidelberg
Table of Contents: “... as abstract data type representations -- More on advice on structuring compilers and proving them correct -- A...”
Cover Image
Read Now

99
by Platzer, André
Published 2018
Springer International Publishing
Table of Contents: “... -- Hybrid Systems and Games -- Winning Strategies and Regions -- Winning and Proving Hybrid Games -- Game...”
Cover Image
Read Now

100
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... with Built-In Numbers and Collection Data Structures -- Semantic Labelling for Proving Termination...”