Viverra generates C code from text descriptions together with assertions that are verified by model checkers, and a user study with over 400 participants shows the verified assertions improve code comprehension.
Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
1 Pith paper cite this work, alongside 110 external citations. Polarity classification is still indexing.
1
Pith paper citing it
110
external citations · Crossref
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Viverra: Text-to-Code with Guarantees
Viverra generates C code from text descriptions together with assertions that are verified by model checkers, and a user study with over 400 participants shows the verified assertions improve code comprehension.