AI Formal Verification Assistant (AFVA)
8.2
A software tool leveraging AI to assist developers in formal verification of code, bringing this traditionally niche practice into the mainstream. The tool suggests proofs, identifies potential errors, and automates parts of the verification process.
350h
mvp estimate
8.2
viability grade
15
views
technology stack
Rust
PostgreSQL
Difficult