Dataset - CKAN

Constraint solver over floating-point numbers designed for program verification

The verification of programs with floating-point numbers computation is an important issue in the development of critical software systems. Computations over...
- HTML

You can also access this registry using the API (see API Docs).