{"version":"1.0","type":"link","title":"C Bounded Model Checker - Newikis","description":"The C Bounded Model Checker (CBMC) is a bounded model checker for computer programs written in C. It was the first such tool.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}