A Trustworthy, Extensible Theorem Prover Ph.D. Dissertation Proposal
Cached
Download Links
by
Jared Davis
BibTeX
@MISC{Davis_atrustworthy,,
author = {Jared Davis},
title = {A Trustworthy, Extensible Theorem Prover Ph.D. Dissertation Proposal},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
2.1 Formal verification........................ 3 2.2 Our choice of logic........................ 4
