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
My work on Qicc won first place @ POPL'20 Undegraduarte Student Research Competition
