The open-source formal methods toolchain.
The project is under initial prototyping and development.
First public source code expected in fall 2025.
For info and feedback write to nicola.gigante@unibz.it.
To get notified of updates click here.