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

GitHub

0 stars
0 watching
0 forks
Language: Coq
last commit: over 3 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