soundness

There are 0 repository under soundness topic.

baro77 / ZKbasicsCS
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
argument completeness nizk proof proof-of-knowledge prover simulator soundness verifier zero-knowledge zkp fiat-shamir
119
Blaisorblade / dot-iris
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
coq type-theory coq-formalization dot-calculus soundness coq-formalizations paper
Language:HTML 30
jvanbruegge / isabelle-lambda-calculus
A formal definition and verification of System F. To be extended to System Fc
formal-verification programming-languages soundness
Language:Isabelle 10
KiJeong-Lim / DschingisKhan
He Reiter, Ho Reiter, He Reiter, Immer weiter!
coq completeness propositional-logic soundness proof
Language:Coq 9
jubitaneja / souper-cgo20-artifact
"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.
souper dfa dataflow llvm-compiler precision z3-smt-solver z3 verification docker-image spec2017 llvm-ir dataflow-analysis soundness static-analysis
Language:C 6
idamotz / Master
Modular Soundness Checking for Feature Model Evolution Plans
software-evolution software-product-lines feature-model static-analysis thesis master-thesis soundness
Language:TeX 4