Giters

FlorianWege / Verification

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Verification

Verification of while programs using Hoare calculus

About

Languages

Language:Java 56.7%Language:TeX 39.4%Language:HTML 2.3%Language:CSS 1.0%Language:JavaScript 0.4%Language:C 0.1%