Research by Ezequiel

Sep 18, 2024 · 11 min read

Formal Verification: From Programs to Formulas

Convert programs to logical formulas and prove properties about them