Giters

evdenis / acsl-proved

Fully proved small C functions (examples for verification course).

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

cacslframa-cformal-verificationproofs

acsl-proved

Fully proved small C functions (examples for verification course).

About

Fully proved small C functions (examples for verification course).

cacslframa-cformal-verificationproofs

Languages

Language:C 92.6%Language:Makefile 7.4%