GitHub repository: marc7666/Verification-with-CBMC
Created: 2022-05-26T13:39:42Z
Description: We have to use the bounded model checking tool for C programs, CBMC , for checking the properties we ask for each C program.