Travelled to:1 × Canada
1 × Germany
2 × USA
Collaborated with:∅ C.Pixley A.Martin J.Jang S.Qadeer L.Cruz-Filipe M.J.H.Heule W.A.H.Jr. P.Schneider-Kamp
Talks about:verif (4) constraint (1) interact (1) theorem (1) support (1) project (1) certifi (1) system (1) symbol (1) prover (1)
Person: Matt Kaufmann
DBLP: Kaufmann:Matt
Contributed to:
1998
1998
1997199019882017Wrote 6 papers:
- CADE-1998-Kaufmann #verification
- ACL2 Support for Verification Projects (MK), pp. 220–238.
- CAV-1998-KaufmannMP #constraints #design #model checking
- Design Constraints in Symbolic Model Checking (MK, AM, CP), pp. 477–487.
- DAC-1997-JangQKP #case study #verification
- Formal Verification of FIRE: A Case Study (JYJ, SQ, MK, CP), pp. 173–177.
- CADE-1990-Kaufmann #lisp #named #verification
- RCL: A Lisp Verification System (MK), pp. 659–660.
- CADE-1988-Kaufmann #interactive #proving #theorem proving
- An Interactive Enhancement to the Boyer-Moore Theorem Prover (MK), pp. 735–736.
- CADE-2017-Cruz-FilipeHHKS #performance #verification
- Efficient Certified RAT Verification (LCF, MJHH, WAHJ, MK, PSK), pp. 220–236.