PostDoc CS researcher @KIT ๐ฉ๐ช. Interested in the efficient application of formal methods for making collective decision aggregation trustworthy.
mi-ki / cbmc Goto Github PK
View Code? Open in Web Editor NEWThis project forked from diffblue/cbmc
C Bounded Model Checker
Home Page: http://www.cprover.org/cbmc
License: Other