JavaScript is disabled for your browser. Some features of this site may not work without it.
Attention submitters: Web accessibility policy to take effect October 15, 2019
For more information, please see our web accessibility policy and web accessibility help for submitters.
For more information, please see our web accessibility policy and web accessibility help for submitters.
Trust In Proof Assistants : Opportunities And Limitations
Date Issued
2016-08-22Subject
proof assistants; logic; formal verification
Committee Chair
Constable,Robert Lee
Committee Member
Tate,Ross Everett; Nerode,Anil; Knepper,Ross A
Degree Discipline
Computer Science
Degree Name
Ph. D., Computer Science
Degree Level
Doctor of Philosophy
Type
dissertation or thesis