Fluctuat
FLUCTUAT is an abstract-interpretation based static analyzer of numerical programs (C or Ada)
Software · by Alternative Energies and Atomic Energy Commission · lix.polytechnique.fr
Open Fluctuat in AirStackWhat Fluctuat’s own pages say
| What it says it does | FLUCTUAT is an abstract-interpretation based static analyzer of numerical programs (C or Ada) lix.polytechnique.fr |
|---|
Each value is a quote AirStack found on the product’s own pages, read 2026-11-05. A missing field means AirStack has not found it on its pages.