{"version":"1.0","type":"link","title":"Proof-carrying code - Newikis","description":"Proof-carrying code (PCC) is a software mechanism that allows a host system to verify properties about an application via a formal proof that accompanies the application's executable code. The host system can quickly verify the validity of the proof, and it can compare the conclusions of the proof…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}