Scientific Software

Scientific

• ExSpec: executable specifications
• Barrifier
• Topdeg: computation of topological degree
• HSolver: verification of hybrid systems
• RSolver: solver for quantified constraints over the real numbers
• Approximate Quantified Constraint Solving (AQCS) (superseded by RSOLVER!)
• Interface between O'Caml and the interval library smathlib