Publication | Closed Access
A Syntactic Approach to Foundational Proof-Carrying Code
35
Citations
19
References
2003
Year
EngineeringAutomated ReasoningProgram AnalysisVerificationFormal MethodsProof AssistantAutomated ProofComputer ScienceProof SystemSoftware AnalysisSyntactic ApproachFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1