FLUCTUAT Claim

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.