Float summations

This verification example contains summations (i.e. the use of "\sum" expressions) over sequences of floats. Both passing and failing cases are included.

General information

ID57
Articlenone
Back-endSilicon
LanguageJava
FeaturesArrays, Floats, Sequences, Summation patterns
Sources
Path to example filefloats/TestFloat.java
Date2017-06-16

Statistical information

Lines of code89 lines (comments not included)
Lines of specification32 lines (35.96% of the total)
Computation time57872 milliseconds

Example code

Note, verification may take a while and has a time-out of 20 seconds.