Awesome Lists

mcoq

by EngineeringSoftware

Javapushed almost 6 years ago

Mutation analysis tool for Coq verification projects

AI summary

Code tester

Analyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications.

stars
30
forks
1
watching
9
awesome list
1
View on GitHubcozy.ece.utexas.edu/mcoq

Embed the badge

Show how many awesome lists link to your project. The count updates automatically.

Awesome Lists badge
Markdown
[![Awesome Lists Badge](https://awesome.facts.dev/shield/EngineeringSoftware/mcoq/links.svg)](https://awesome.facts.dev/awesome/EngineeringSoftware/mcoq)
HTML
<a href="https://awesome.facts.dev/awesome/EngineeringSoftware/mcoq"><img src="https://awesome.facts.dev/shield/EngineeringSoftware/mcoq/links.svg" alt="Awesome Lists Badge" /></a>
Image URL
https://awesome.facts.dev/shield/EngineeringSoftware/mcoq/links.svg

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.