VST
Verified Software Toolchain
AI summary
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
- stars
- 444
- forks
- 93
- watching
- 23
Similar projects
Found by comparing what the projects do, not just their names.
Coq verifier
Formal verification of Python code using Coq
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
Code verifier
Tool that verifies Rust code by translating it into Coq's proof system to ensure no bugs or vulnerabilities exist
Coq course
A self-reading Coq course for PhD students covering fundamental topics in functional programming and formal verification.
coq/vscoq349
Coq editor
An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant
C verifier
A template project for verifying the correctness of C programs in Coq
SMT verification plugin
An OCaml-based plugin for Coq that verifies and extends proof witnesses from external SAT/SMT solvers
Coq IDE
A tool for interactive theorem proving and language support in Coq
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
Code verification project
Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
Program verifier
Automated verification of higher-order programs using separation logic
Verification library
Enables verified interaction between Coq programs and C libraries
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
