James Caldwell Department of Computer Science University of Wyoming Laramie, WYDATE: October 31, 2016

First Page		Document Content
Date: 2016-10-31 17:07:05 Automated theorem proving Theoretical computer science Computing Mathematics Nuprl Interactive Theorem Proving Proof assistant Robert Lee Constable ACL2 Formal methods Computer science Automated reasoning		James Caldwell Department of Computer Science University of Wyoming Laramie, WYDATE: October 31, 2016 Add to Reading List Source URL: www.cs.uwyo.edu Download Document from Source Website File Size: 124,95 KB Share Document on Facebook

	Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract DocID: 1qLDo - View Document
	1 A Diversified and Correct-by-Construction Broadcast Service Vincent Rahli, Nicolas Schiper, Robbert Van Renesse, Mark Bickford, and Robert L. Constable Cornell University, Computer Science Department DocID: 1kSGi - View Document
	Robert L. Constable Curriculum Vitae September 9, 2014 PERSONAL DETAILS • Citizenship • Contacting Address DocID: ypGG - View Document
	PDF Document DocID: 1htx - View Document
	PDF Document DocID: 176v - View Document