Programming languages
Algorithms and Tooling for Software Verification
2 projects
This project developed a machine-learning framework to predict the most effective software verifier for a given C program – trained on the Software...
CPA-Daemon is a microservice (currently gRPC service) for continuous verification of C programs with CPAchecker. Clients could craft gRPC requests...
3 projects
PJBDD is a Java-based, multi-threaded Binary Decision Diagram (BDD) library that facilitates concurrent computation and parallel operations. It is...
We developed the first algorithm selector, Btor2-Select, for the word-level hardware model-checking problem described in the Btor2 language. Given a...
For benchmarking purposes, BenchExec typically creates a container with a file-system overlay atop the system's file system. However, due to a kernel...
4 projects
Backward bounded model checking is a technique for program analysis that aims to solve the error location reachability problem by searching for...
Formal methods have been known to be useful for verifying critical software. However, one of the main factors keeping tools such as CPA-Checker from...
CPAchecker now supports reachability analysis, which can search for a path from the initial program location to the error location. This project is a...
SMT solvers are widely utilized in computer-guided verification of computer programs and artificial intelligence. With a multitude of theories...
2 projects
CPAChecker is a framework which can be used as a software verification tool for C programs. We can use CPAchecker locally by command line interface...
In this project we aim to incorporate Intel cache allocation software package (intel-cmt-cat) in BenchExec for cache allocation on a per core basis...
1 project
CPAchecker Project - Upgrade of AngularJS and other third-party libraries used. Refactoring of User Interface Writing automated tests for unit...
