Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Mark Aagaard
5 results
Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization
| cite »
by John O'Leary, Miriam Leeser, Jason Hickey, Mark Aagaard
1994
Verifying a Pipelined Circuit
by Mark Aagaard
April 05, 1994
Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification
| cite »
by Mark Aagaard, Miriam Leeser
1993
Using Reflection to External Automated Theorem Provers
by Mark Aagaard
March 30, 1993
HOL Workshop
by Mark Aagaard
September 15, 1992