There are 0 repository under soundness topic.
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
A formal definition and verification of System F. To be extended to System Fc
He Reiter, Ho Reiter, He Reiter, Immer weiter!
"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.