Domain of floats

This verification example contains a domain of floats, together with a testing method that uses the floats.

General Information

• Backend: Silicon
• Language: Viper
• Features: Sequences, Floats
• Path to Example File: domains/float.sil
• Should Verify: Yes
• Date: 2017-06-15
• Lines of Code: 58 (comments not included)
• Lines of Specification: 5 (8.6% of total)
• Computation Time: 25.8 seconds