Tool for verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It can be used either directly or as a back-end for other tools, e.g. Coq or Why.
Activity Ranking: 450
View project Statistics or Activity
View list of RSS feeds available for this project.
Latest File Releases