A Brief History of Formal Verification
Medium US,
In this article I review the history of formal verification — a field with fascinating history of over 70 years.
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 My Life as a Logician
-
Altmetric BadgeChapter 2 Martin Davis and Hilbert’s Tenth Problem
-
Altmetric BadgeChapter 3 Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory
-
Altmetric BadgeChapter 4 A Story of Hilbert’s Tenth Problem
-
Altmetric BadgeChapter 5 Hyperarithmetical Sets
-
Altmetric BadgeChapter 6 Honest Computability and Complexity
-
Altmetric BadgeChapter 7 Why Post Did [Not] Have Turing’s Thesis
-
Altmetric BadgeChapter 8 On Quantum Computation, Anyons, and Categories
-
Altmetric BadgeChapter 9 Taking Physical Infinity Seriously
-
Altmetric BadgeChapter 10 Banishing Ultrafilters from Our Consciousness
-
Altmetric BadgeChapter 11 What Is Essential Unification?
-
Altmetric BadgeChapter 12 DPLL: The Core of Modern Satisfiability Solvers
-
Altmetric BadgeChapter 13 On Davis’s “Pragmatic Platonism”
-
Altmetric BadgeChapter 14 Pragmatic Platonism
-
Altmetric BadgeChapter 15 Concluding Comments by Martin
-
Altmetric BadgeChapter 16 Martin Davis’s Bibliography 1950–2015
Altmetric Badge
Mentioned by
- news
- 1 news outlet
- 6 X users
- 1 Facebook page
- wikipedia
- 4 Wikipedia pages
- googleplus
- 1 Google+ user
Citations
- dimensions_citation
- 1 Dimensions
Readers on
- mendeley
- 1 Mendeley