Release: Interval-4.a (11/14/07)

Interval is a PVS package for interval analysis. It includes several strategies to reason about interval bounds and numerical approximations. In particular, the strategy numerical implements a provably correct pocket calculator that solves numerical inequalities using interval arithmetic.


Maintained by: César A. Muñoz