Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Mark Aagaard

5 results

Publication Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization | cite »
by John O'Leary, Miriam Leeser, Jason Hickey, Mark Aagaard

Seminar Verifying a Pipelined Circuit
by Mark Aagaard
April 05, 1994

Publication Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification | cite »
by Mark Aagaard, Miriam Leeser

Seminar Using Reflection to External Automated Theorem Provers
by Mark Aagaard
March 30, 1993

Seminar HOL Workshop
by Mark Aagaard
September 15, 1992