Giters

MuradAkh / Qicc

Expediting verification of assertions in loops by isolation

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ocamlcilverificationprogramming-languagesc-checkercbmcmodel-checking

Qicc - Quick Isolating Checker for C

CircleCI

Qicc is a verification tool that enables proving assertions in C programs quicker. Qicc utilizes CBMC but can be modified to work with other verification tools.

See the Wiki for more information.

For instructions on how to install and run Qicc, see Getting Sarted

Qicc @ POPL SRC

My work on Qicc won first place @ POPL'20 Undegraduarte Student Research Competition

About

Expediting verification of assertions in loops by isolation

ocamlcilverificationprogramming-languagesc-checkercbmcmodel-checking

License:Mozilla Public License 2.0

Languages

Language:OCaml 54.4%Language:C 18.6%Language:JavaScript 10.9%Language:TypeScript 10.4%Language:Roff 3.5%Language:Makefile 1.6%Language:Dockerfile 0.6%