Back to Results
First PageMeta Content
Logic / Formal methods / Theoretical computer science / Automated theorem proving / Mathematical logic / Logic in computer science / Proof assistants / Formal verification / Formal proof / Proof-carrying code / Automated proof checking / Theorem


Practical Proof Checking for Program Certification Geoff Sutcliffe1 , Ewen Denney2 , Bernd Fischer2 1 University of Miami
Add to Reading List

Open Document

File Size: 92,68 KB

Share Result on Facebook