Continuous Verification Framework

Continuous Verification Framework (CVF)

Continuous Verification Framework (CVF) is an integrated environment for analyzing, visualizing, and managing software verification results. It builds on the SV-COMP standards and extends them with a set of complementary tools to improve verification usability, trace inspection, and regression analysis.

Key Components

• Witness Visualizer – converts SV-COMP witnesses (error traces or proofs) into a human-readable format. 📖 Documentation
• Benchmark Visualizer – processes and visualizes complete verification benchmarks. 📖 Documentation
• Multiple Error Analyser (MEA) – filters multiple witnesses to report only unique potential bugs. 📖 Documentation
• Klever Bridge – integrates with the Klever framework to visualize Linux kernel module verification tasks. 📖 Documentation

📊 Verification results can be explored through the web interface Continuous Verification Visualizer (CVV).

Requirements

Tested on Ubuntu 20.04 and above.

Ubuntu Packages

Install required packages using:

sudo apt update
sudo apt install -y \
  git python3 python3-dev python3-pip lcov

Python Dependencies

Install Python modules with:

pip3 install -r requirements.txt

Installation

Run the following command to install the framework:

make install -j DEPLOY_DIR=<working_directory>

Replace <working_directory> with your preferred deployment path.

A standalone setup of CVF is provided via a Dockerfile.