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

161
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... and theorem proving for CASL -- Combining and representing logical systems using model-theoretic parchments...”
Cover Image
Read Now

162
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... -- Proving Theorems About Java-Like Byte Code -- Multiple State and Single State Tableaux for Combining Local...”
Cover Image
Read Now

163
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... -- Proving termination of logic programs by exploiting term properties -- Parametric order-sorted types...”
Cover Image
Read Now

164
Published 1995
Springer Berlin Heidelberg
“... and compositional verification, construction techniques, analysis and verification via theorem proving, process...”
Cover Image
Read Now

165
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... for Unstructured Programs -- Combination of Abstractions in the ASTRÉE Static Analyzer -- Proving Noninterference...”
Cover Image
Read Now

166
Published 1990
Springer Berlin Heidelberg
“... program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic...”
Cover Image
Read Now

167
Published 1982
Springer Berlin Heidelberg
Table of Contents: “... for proving completeness results about Hoare calculi -- A hierarchy of sets of infinite trees -- Maintaining...”
Cover Image
Read Now

168
Published 1980
Springer Berlin Heidelberg
Table of Contents: “... Simulationen“ -- „On the Treatment of Equivalence Connectives in Automated Theorem Proving (KV) -- „Knowledge...”
Cover Image
Read Now

169
Published 2014
Springer Berlin Heidelberg
Table of Contents: “...: An Algorithm for Proving Trace Equivalence -- The Modest Toolset: An Integrated Environment for Quantitative...”
Cover Image
Read Now

170
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Cover Image
Read Now

171
Published 2019
Springer International Publishing
Table of Contents: “... and Interactive Theorem Proving -- Circular (Yet Sound) Proofs -- Short Proofs in QBF Expansion -- Proof...”
Cover Image
Read Now

172
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... on Partial Order Semantics -- A New Rewrite Method for Proving Convergence of Self-Stabilizing Systems...”
Cover Image
Read Now

173
Published 2018
Springer International Publishing
Table of Contents: “...Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based...”
Cover Image
Read Now

174
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Tool Support for Logics of Programs -- Machine-Assisted Verification Using Theorem Proving and Model...”
Cover Image
Read Now

175
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... to satisfiability or a uniform method for proving NP-completeness -- Model building by resolution -- Comparative...”
Cover Image
Read Now

176
Published 2023
Springer Nature Switzerland
Table of Contents: “..., Prove Globally -- Denotational Semantics for Symbolic Execution -- TOOL PAPER: Tessla-ROS-Bridge...”
Cover Image
Read Now

177
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Analysis -- Combining Norms to Prove Termination -- Static Monotonicity Analysis for ?-definable Functions...”
Cover Image
Read Now

178
Published 2019
Springer International Publishing
Table of Contents: “... Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side...”
Cover Image
Read Now

179
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Programs with Embedded Implications -- A Multi-adjoint Logic Approach to Abductive Reasoning -- Proving...”
Cover Image
Read Now

180
Published 1995
Springer Berlin Heidelberg
“.... Among the topics covered are model checking, theorem proving, formally verified synthesis, process...”