research
∙
02/05/2023
CBMC: The C Bounded Model Checker
The C Bounded Model Checker (CBMC) demonstrates the violation of asserti...
share
research
∙
02/05/2023
JBMC: A Bounded Model Checking Tool for Java Bytecode
JBMC is an open-source SAT- and SMT-based bounded model checking tool fo...
research
∙
02/05/2023
2LS for Program Analysis
2LS ("tools") is a verification tool for C programs, built upon the CPRO...
research
∙
12/30/2022
BlueCov: Integrating Test Coverage and Model Checking with JBMC
Automated test case generation tools help businesses to write tests and ...
research
∙
11/01/2020
How Testable is Business Software?
Most businesses rely on a significant stack of software to perform their...
research
∙
03/02/2019
2LS: Heap Analysis and Memory Safety (Competition Contribution)
2LS is a framework for analysis of sequential C programs that can verify...
research
∙
09/11/2018