The CAISAR Platform¶

The CAISAR logo
Authors:

Michele Alberti, François Bobot, Julien Girard, Alban Grastien, Guilhem Ardouin

Version:

6.0, June 2026

Copyright:

2020–2026 CEA (Commissariat à l’énergie atomique et aux énergies alternatives)

This work has been partly supported by the Confiance.ai program, the DeepGreen project and the PEPR SAIF program.

  • 1. Foreword
    • 1.1. Overall Design
    • 1.2. Availability
    • 1.3. Contact
    • 1.4. Acknowledgements
  • 2. Installation
    • 2.1. Install through Opam
    • 2.2. Install through Docker
    • 2.3. Install through Nix
    • 2.4. Compile from source
  • 3. Using CAISAR
    • 3.1. Commands summary
    • 3.2. Command-line options
    • 3.3. Prover registration
    • 3.4. Property verification
    • 3.5. Built-in properties
    • 3.6. CAISAR with JSON
    • 3.7. Advanced usage: registering a new prover
  • 4. CAISAR by Examples
    • 4.1. Functional properties of ACAS Xu
    • 4.2. (Local) Robustness of MNIST dataset
    • 4.3. Verification of Support Vector Machines
    • 4.4. Confidence-based properties on COMPAS
  • 5. Supported provers
    • 5.1. PyRAT
    • 5.2. Marabou
    • 5.3. SAVer
    • 5.4. nnenum
    • 5.5. alpha-beta-CROWN
    • 5.6. SMT solvers
    • 5.7. Adapting neural networks for provers
  • 6. The CAISAR modelling language
    • 6.1. Origin: WhyML
    • 6.2. Built-ins
  • 7. Transformations in CAISAR
    • 7.1. What are transformations
    • 7.2. Using transformations during verification
    • 7.3. Transforming existing ONNX
    • 7.4. Existing transformations and hierarchy
  • 8. Hacking CAISAR
    • 8.1. CAISAR project structure
    • 8.2. Setting up a development environment
    • 8.3. Opening a merge request
  • Index
  • CAISAR website

CAISAR

Navigation

  • 1. Foreword
  • 2. Installation
  • 3. Using CAISAR
  • 4. CAISAR by Examples
  • 5. Supported provers
  • 6. The CAISAR modelling language
  • 7. Transformations in CAISAR
  • 8. Hacking CAISAR
  • Index
  • CAISAR website

Related Topics

  • Documentation overview
    • Next: 1. Foreword
©2026, The CAISAR Development Team. | Powered by Sphinx 8.2.3 & Alabaster 1.0.0 | Page source