Searching for authors named "Matt Kaufmann" – sorted by Relevance.
42 documents found, showing 1 through 10.
Next 10 →
-
Combining an Interpreter-Based Approach to Software Verification witth . . .
- … Generation Matt Kaufmann 1 ABSTRACT: Two traditional approaches to software verification are an interpreter…
- Add To MetaCart
-
A Tool for Simplifying Files of ACL2 Definitions
- …A Tool for Simplifying Files of ACL2 Denitions Matt Kaufmann Advanced Micro Devices, Inc. matt.kaufmann…
- Cited by 1 (1 self) – Add To MetaCart
-
Generalization in the presence of free variables: A mechanically-checked proof for one algorithm
- … Algorithm Matt Kaufmann Technical Report #53 April, 1990 Computational Logic Inc. 1717 W. 6th St. Suite 290…
- Cited by 2 (0 self) – Add To MetaCart
-
A Counterexample to the 0-1 Law for Existential Monadic Second-Order Logic
- … for Existential Monadic Second-Order Logic Matt Kaufmann A Counterexample to the 0-1 Law for Existential Monadic…
- Cited by 8 (0 self) – Add To MetaCart
-
An assistant for reading Nqthm proof output
- …An Assistant for Reading Nqthm Proof Output Matt Kaufmann Technical Report 85 November, 1992…
- Cited by 6 (2 self) – Add To MetaCart
-
An example in NQTHM: Ramsey's Theorem
- …An example in NQTHM: Ramsey's Theorem Matt Kaufmann Computational Logic, Inc. 1717 W. 6th Street…
- Cited by 3 (1 self) – Add To MetaCart
-
An Instructive Example for Beginning Users of the Boyer-Moore Theorem Prover
- … Users of the Boyer-Moore Theorem Prover 1 Matt Kaufmann Computational Logic, Inc. 1717 W. Sixth Street…
- Cited by 1 (0 self) – Add To MetaCart
-
The FM9001 microprocessor proof
- … The FM9001 Microprocessor Proof Bishop C. Brock, Warren A. Hunt, Jr., Matt Kaufmann Technical…
- Cited by 1 (0 self) – Add To MetaCart
-
Addition of Free Variables to the PC-NQTHM Interactive Enhancement of the Boyer-Moore Theorem Prover
- … Prover Matt Kaufmann Technical Report #42 May, 1989 (revised March, 1990) Computational Logic Inc. 1717 W…
- Cited by 1 (0 self) – Add To MetaCart
-
A User's Manual for an Interactive Enhancement to the Boyer-Moore Theorem Prover
- …A User's Manual for an Interactive Enhancement to the Boyer-Moore Theorem Prover Matt Kaufmann…
- Cited by 43 (16 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
