Giters

hopv / benchmarks

Functional program verification problems, as caml programs and as Horn clauses.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Functional program verification problems, as caml programs and as Horn clauses.

About

Functional program verification problems, as caml programs and as Horn clauses.

Languages

Language:SMT 97.0%Language:OCaml 2.8%Language:Rust 0.1%Language:Shell 0.1%Language:Standard ML 0.0%Language:Makefile 0.0%