PropaFP-0.1.1.0: Auto-active verification of floating-point programs
Please see the README on GitHub at https://github.com/rasheedja/PropaFP#readme
Modules
- PropaFP
- PropaFP.DeriveBounds Deriving ranges for variables from hypotheses inside a formula
- PropaFP.EliminateFloats
- PropaFP.Eliminator
- PropaFP.Expression
- Parsers
- Translators
- PropaFP.VarMap