There is a newer version of the record available.

Published April 28, 2023 | Version v1
Other Open

Artifact for the CAV'23 tool paper "Kratos2: an SMT-Based Model Checker for Imperative Programs"

Authors/Creators

  • 1. Fondazione Bruno Kessler
  • 2. Masaryk University

Description

This is an artifact for the CAV'23 tool paper "Kratos2: an SMT-Based Model Checker for Imperative Programs".

For detailed instructions, see the README.md file within the archive.

Files

kratos2-cav23.zip

Files (7.2 GB)

Name Size Download all
md5:73405d672736de3ccf7eadd970557ffe
7.2 GB Preview Download
md5:fac46821f008597e6c3340a27388bfc8
12.5 kB Preview Download