GitHub repository: nasa/PRECiSA
Primary language: Haskell
Created: 2017-02-01T16:42:18Z
Description: Program Round-off Error Certifier via Static Analysis