Proof-carrying Bytecode
Published in Electronic Notes in Theoretical Computer Science • Nov 29, 2005
NobleIDNI9P11W83R79S47
Authors:,
Stephen Gilmore
Matthew Prowse
Abstract
In the Mobile Resource Guarantees project's Proof Carrying Code implementation, .class files are associated with Isabelle [Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel, Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 of LNCS. Springer-Verlag, 2002] proof scripts containing p...
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!