SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. Automatically generate straight-line C programs from symbolic Haskell functions.
There are no reported vulnerabilities
30 Day SummaryJun 24 2024 — Jul 24 2024
|
12 Month SummaryJul 24 2023 — Jul 24 2024
|