Projects

Web-based platform for human-readable visualization of verification results and regression verification.

Detecting concurrency issues in major open-source systems.

Contributions to operating system development and verification infrastructure in an industrial setting.

Standalone tool for visualizing verification witnesses in a human-readable form.

Infrastructure for decomposing software systems into verification tasks and solving them using CPAchecker.

Open-source framework for configurable software verification based on configurable program analyses.

Software verification framework for automated checking of industrial GNU C systems against a wide range of requirements.

Open-source tool suite for verifying Linux kernel modules against formal rule specifications using multiple static analysis engines.

Web-based platform for sharing and inspecting verified bugs in Linux kernel modules.