software testing tool


0 / 5

FLUCTUAT is an abstract-interpretation based static analyzer of numerical programs (C or Ada) developed since 2001 by the MEASI (ModElling and Analysis of Systems in Interaction) laboratory of CEA-LIST. Given sets of inputs and parameters, possibly entached by uncertainties, it considers all possible behaviours of the program both in real and in finite precision, and characterizes the differences.

Post New Review

Choose Page Layout
Header Position
Submenu Style