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

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

2
by Bibel, Wolfgang
Published 1987
Vieweg+Teubner Verlag
Cover Image
Read Now

3
Published 2017
Springer International Publishing
Table of Contents: “...Whitebox Automation -- Automated Theory Exploration for Interactive Theorem Proving...”
Cover Image
Read Now

4
Published 2015
Springer International Publishing
“... Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were...”
Cover Image
Read Now

5
Published 2018
Springer International Publishing
Cover Image
Read Now

6
Published 2014
Springer International Publishing
Table of Contents: “... Language -- Proof Pearl: Proving a Simple Von Neumann Machine Turing Complete -- The Reflective Milawa...”
Cover Image
Read Now

7
Published 2016
Springer International Publishing
“... Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers...”
Cover Image
Read Now

8
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... in Coq -- Towards Provably Robust Watermarking -- Priority Inheritance Protocol Proved Correct...”
Cover Image
Read Now

9
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Theorem Proving: Integrating Maple and PVS -- An Irrational Construction of ? from ? -- HELM...”
Cover Image
Read Now

10
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- Twenty Years of Theorem Proving for HOLs Past, Present and Future...”
Cover Image
Read Now

11
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...: The implementation -- Proving liveness of fair transition systems -- Program derivation using the refinement...”
Cover Image
Read Now

12
by Chlipala, Adam
Published 2013
The MIT Press
Subjects: “...Automatic theorem proving / Computer programs...”
Cover Image
Read Now

13
by Fitting, Melvin
Published 1990
Springer New York
“... for computer scientists interested in automated theorem proving in classical logic. To be more precise yet...”
Cover Image
Read Now

14
by Sandford, David M.
Published 1980
Springer Berlin Heidelberg
Cover Image
Read Now

15
by Fitting, Melvin
Published 1996
Springer New York
“... scientists interested in automated theo­ rem proving in classical logic. To be more precise yet...”
Cover Image
Read Now

16
by Sitnikovski, Boro
Published 2022
Apress L. P.
“...Get introduced to software verification and proving correctness using the Microsoft Research-backed...”
Cover Image
Read Now

17
by Platzer, André
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...-Algebraic Dynamic Logic DAL -- Differential Temporal Dynamic Logic dTL -- Automated Theorem Proving...”
Cover Image
Read Now

18
by Sitnikovski, Boro
Published 2022
Apress
“...Get introduced to software verification and proving correctness using the Microsoft Research-backed...”
Cover Image
Read Now

19
by Simon, Axel
Published 2008
Springer London
“...The use of static analysis techniques to prove the partial correctness of C code has recently...”