::fm

Formally

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.