Search alternatives:
"prover" » "proven", "proved", "proves"
Cover Image
Read Now

41
by Breitner, Joachim
Published 2016
KIT Scientific Publishing
“... program performance; the proof is machine-checked using the interactive theorem prover Isabelle...”
Cover Image
Read Now

42
by Groza, Adrian
Published 2021
Springer International Publishing
Table of Contents: “...Preface -- Getting Started with Prover9 and Mace4 -- Micro Arithmetic Puzzles -- Strange Numbers...”
Cover Image
Read Now

43
Published 2020
Springer International Publishing
Table of Contents: “... description) -- Prolog Technology Reinforcement Learning Prover (system description)...”
Cover Image
Read Now

44
Published 1996
Springer Netherlands
Table of Contents: “... and Induction -- A Calculus for and Termination of Rippling -- Interaction with the Boyer—Moore Theorem Prover...”
Cover Image
Read Now

45
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...: Judgement Day -- Invited Talk -- Logic between Expressivity and Complexity -- Verification -- Multi-Prover...”
Cover Image
Read Now

46
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers -- Presenting...”
Cover Image
Read Now

47
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... — An Interactive Prover for the Boogie Program-Verifier -- Secure Microkernels, State Monads and Scalable...”
Cover Image
Read Now

48
Published 2020
Springer International Publishing
Table of Contents: “...-Prover Zero Knowledge -- NIZK from SNARG -- Weakly Extractable One-Way Functions -- Towards Non...”
Cover Image
Read Now

49
Published 2012
Springer Berlin Heidelberg
“...; program verification; theorem prover development; reasoning about program execution; and prover...”
Cover Image
Read Now

50
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”
Cover Image
Read Now

51
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... prover -- An application to teaching in logic course of ATP based on natural deduction -- A generic logic...”
Cover Image
Read Now

52
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...An Isabelle-based theorem prover for VDM-SL -- Executing formal specifications by translation...”
Cover Image
Read Now

53
Published 1993
Springer London
Table of Contents: “... -- Optimizing Programs with Partial Specifications -- A new Front-End for the Larch Prover -- Thoughts on a...”
Cover Image
Read Now

54
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... planning -- Many-sorted logic in a learning theorem prover -- Rigid hypertableaux -- Minimal model...”
Cover Image
Read Now

55
by Zhan, Naijun, Wang, Shuling, Zhao, Hengjun
Published 2017
Springer International Publishing
Table of Contents: “... Stateflow and Its Combination with Simulink -- 6 Hybrid CSP -- 7 Hybrid Hoare Logic -- 8 The HHL Prover -- 9...”
Cover Image
Read Now

56
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Theorem Prover -- Combining Testing and Proving in Dependent Type Theory -- Invited Talk II -- Reasoning...”
Cover Image
Read Now

57
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... model search for equational theories (FMSET) -- Specification and integration of theorem provers...”
Cover Image
Read Now

58
Published 2018
Springer International Publishing
Table of Contents: “... -- Compositional Relational Programming with Nominal Projection and Compositional Synthesis -- WhaleProver: First...”
Cover Image
Read Now

59
Published 2014
Springer International Publishing
Table of Contents: “... Theorem Prover Is Sound (Down to the Machine Code That Runs It) -- Balancing Lists: A Proof Pearl...”
Cover Image
Read Now

60
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Multiprocessing for Interactive Theorem Proving -- A Parallelized Theorem Prover for a Logic with Parallel...”