ConCert

Contract Verifier

A framework for verifying smart contracts in Coq to ensure their correctness and security

A framework for smart contract verification in Coq

0 stars

0 watching

0 forks

Language: Coq

last commit: over 4 years ago

Related projects:

Repository	Description	Stars
josefgit/concert	A framework for verifying smart contracts in Coq, a proof assistant language.	0
siimplex/concert	A framework for verifying smart contracts in Coq	1
au-cobra/concert	A framework for verifying smart contracts in Coq using formal methods and property-based testing.	114
astenbaek/atpl-project	A framework for verifying smart contracts using Coq	0
certigraph/certigraph	A verification toolset for graph-manipulating programs written in Coq.	17
ethereum/sourcify	A decentralized service for verifying the integrity of smart contract source code on Ethereum.	791
runtimeverification/avm-semantics	A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution	15
tezos/tezoscoq	A Coq-based library providing a formal verification framework for the Tezos smart contract language	28
coq-community/chapar	A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant	32
jscert/jscert	A Coq-based verification of the ECMAScript 5 standard for a JavaScript interpreter	196
sec-bit/tokenlibs-with-proofs	Verifies the correctness of Ethereum token contracts using formal methods and proof assistants.	97
certicoq/veriffi	Enables verified interaction between Coq programs and C libraries	39
verifytests/verify.docnet	A library that verifies documents by comparing images of scanned or exported documents with predefined templates.	11
verifytests/verify.pdfpig	A tool that verifies documents by converting them to text and checking their content	10
formal-land/coq-of-python	Formal verification of Python code using Coq	30