Projects in Awesome Lists tagged with proof-carrying-code
A curated list of projects in awesome lists tagged with proof-carrying-code .
https://github.com/palmskog/pcc
Coq formalization of a proof carrying code framework for inlined reference monitors in Java bytecode
coq java java-bytecode proof-carrying-code
Last synced: 16 May 2026
