Mark Aagaard

Verifying a Pipelined Circuit

Mark Aagaard, April 5, 1994
Using Reflection to External Automated Theorem Provers
Mark Aagaard, March 30, 1993
HOL Workshop
Mark Aagaard, September 15, 1992


Home | Introduction |Authors | Topics | Chronological List | PRL Project



Melissa Totman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mtotman@cs.cornell.edu