
Static analyzer for numerical programs in C and Ada
Represent Fluctuat?
Claim to manage, respond to reviews & get analytics
Scores and rankings reflect aggregated community opinion and are not editorial assessments by Peakd. Entity information (descriptions, images, links, pricing) may be sourced from automated tools or community contributions and is not guaranteed to be accurate or up-to-date. Peakd does not endorse, verify, or guarantee the accuracy of any content. Represent this entity? Claim this page to manage it. · Terms · Removal requests
Fluctuat is a static analysis tool developed since 2001 by the MEASI laboratory. It analyzes numerical programs in C or Ada, considering all possible behaviors and characterizing differences between real and finite precision computations. The tool outputs guaranteed bounds for variable values and identifies sources of errors in the source code.
Your slider rating is attached automatically. Write about your experience to help others decide.
No reviews yet. Be the first to share your experience.
No pros or cons yet. Suggest an edit to add some.