Extending PJBDD with CESRBDDs: BDDs with Complemented Edges and Edge-Specified Reductions
Ahmed Tarek
PJBDD is a Java-based, multi-threaded Binary Decision Diagram (BDD) library that facilitates concurrent computation and parallel operations. It is...
BenchExec: Summary Tables and Filtering Improvements
Eshaan Aggarwal
This proposal aims to support some significant feature requests for the HTML table component and refactor the code to improve readability and...
Overlay Handling with fuse-overlayfs
HaoranYang
For benchmarking purposes, BenchExec typically creates a container with a file-system overlay atop the system's file system. However, due to a kernel...
Generating Error Descriptions with CPAchecker
Kerim Kochekov
Detecting errors without running all possible program executions can be an exhaustive task. Automated formal methods, such as SMT-based...
Adaptive Algorithm Selection for Btor2 Verification Tasks
Zhengyang Lu
Recently, the Btor2-Cert framework has unveiled a promising advancement in hardware verification. The framework enables hardware verification to be...
