fmt

inspirel.comsite

Formal Methods Toolkit is a set of extension packages for Mathematica, supporting software. engineering activities related to modeling, verification and Ada code generation.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   MASTIFF github.com

   Static analysis framework that automates the process of extracting key characteristics from a number of different file formats.

   tool link ↗
   tool
2. ▲

   mathpaqs github.com

   Collection of mathematical, 100% portable, packages in the Ada programming language.

   tool topic programmingtopic math link ↗
   
3. ▲

   ffmt github.com

   Fast, configurable Fortran formatter with support for Fypp, Doxygen, and OpenACC/OpenMP directives. Written in Rust, installable via pip.

   tool topic programming link ↗
   
4. ▲

   ts-multimethod github.com

   tool link ↗
   tool
5. ▲

   math-packages github.com

   Collection of basic math routines in Ada.

   tool topic math link ↗
   tool
6. ▲

   FACT - The Firmware Analysis and Comparison Tool fkie-cad.github.io

   Full-featured static analysis framework including extraction of firmware, analysis utilizing different plug-ins and comparison of different firmware versions.

   site link ↗
   site

Ada/SPARK › Tools > Generation: “Formal Methods Toolkit is a set of extension packages for Mathematica, supporting software. engineering activities related to modeling, verification and Ada code generation.”