mcoq
Code tester
Analyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications.
Mutation analysis tool for Coq verification projects
30 stars
9 watching
1 forks
Language: Java
last commit: about 4 years ago
Linked from 1 awesome list
coqmutation-analysisserapi
Related projects:
| Repository | Description | Stars |
|---|---|---|
 jscoq/jscoq | An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser. | 515 |
 mbj/mutant | Automated code review tool with mutation testing to simplify and improve code quality | 1,956 |
 ejgallego/pycoq | Python bindings for Coq's interactive proof assistant | 50 |
| ejgallego/coq-lsp | A tool for interactive theorem proving and language support in Coq | 152 |
 jasongross/coq-tools | Tools for helping find and fix bugs in the Coq proof assistant development environment. | 39 |
 coq/vscoq | A Visual Studio Code extension for Coq proof assistant support | 343 |
 formal-land/coq-of-rust | Tool that verifies Rust code by translating it into Coq's proof system to ensure no bugs or vulnerabilities exist | 421 |
 coq-community/paramcoq | A Coq plugin providing commands for generating parametricity statements used in data refinement proofs. | 44 |
| coq/platform | A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching | 188 |
| coq-community/coq-art | Coq proof assistant book with exercises and examples | 110 |
| coq-community/autosubst | Automates formalizing syntactic theories with variable binders in Coq | 52 |
 quickchick/quickchick | A Coq plugin for property-based testing of software systems | 254 |
 codeintegrity-ai/mutahunter | Automated unit test generation and mutation testing tool using Large Language Models. | 243 |