Giters

pedrovereza / vcgen

Verification conditions generator for a simple language

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Verification conditions generator for a simple language

Languages

Language:OCaml 89.5%Language:Standard ML 10.5%