tezoscoq
by tezos
working with coq and tezos
AI summary
Contract verification framework
A Coq-based library providing a formal verification framework for the Tezos smart contract language
- stars
- 28
- forks
- 9
- watching
- 13
Similar projects
Found by comparing what the projects do, not just their names.
Contract verifier
A framework for verifying smart contracts using Coq
Contract Verifier
A framework for verifying smart contracts in Coq, a proof assistant language.
contract verifier
A framework for verifying smart contracts in Coq
Formal semantics tools
Development of formal semantics and verification tools for imperative languages and functional programming languages.
Smart contract verifier
A framework for verifying smart contracts in Coq using formal methods and property-based testing.
Token contract verifier
Verifies the correctness of Ethereum token contracts using formal methods and proof assistants.
Coq verifier
Formal verification of Python code using Coq
Verification library
Enables verified interaction between Coq programs and C libraries
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
SMT verification plugin
An OCaml-based plugin for Coq that verifies and extends proof witnesses from external SAT/SMT solvers
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Programming language semantics toolkit
This project provides a development environment and software tools for formalizing the semantics of programming languages in the Coq proof assistant.
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
Contract Verifier
A framework for verifying smart contracts in Coq to ensure their correctness and security
Code verification project
Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof
