Inox
Constraint solver for Stainless
Inox can be used to prove constraints on methods in a program, to attest the correctness of these parts.
Low-Level
- Technical
- Source code: Lab GitHub
- Last commit: 2025-09-12
Lab for Automated Reasoning and Analysis
Lab for Automated Reasoning and Analysis
We develop precise automated reasoning techniques: tools, algorithms and languages. The goal of these techniques is to help construction of verified computer systems.
This page was last edited on 2024-04-12.
This page was last edited on 2024-04-12.