nasa / PRECiSALinks

Program Round-off Error Certifier via Static Analysis
50Updated last month

Alternatives and similar repositories for PRECiSA

Users that are interested in PRECiSA are comparing it to the libraries listed below

Sorting: