Skip to content

Latest commit

 

History

History
47 lines (31 loc) · 1.44 KB

README.md

File metadata and controls

47 lines (31 loc) · 1.44 KB

Continuous Verification Launcher

Apache 2.0 License Deploy Workflow Pylint Workflow

The Continuous Verification Launcher (CVL) prepares and solves verification tasks for a given software system. To support a specific system, a dedicated plugin must define:

  • how to decompose the system (currently only C systems are supported);
  • how to construct an environment model;
  • which properties to verify.

All verification results can be explored through the Continuous Verification Visualizer (CVV).

Please refer to the documentation and the development guide for additional details.

Requirements

Tested on Ubuntu 20.04 and above.

Ubuntu Packages

Install required packages using:

sudo apt update
sudo apt install -y \
  git openjdk-17-jdk python3 python3-dev python3-pip ant lcov cmake

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.