sandialabs/elaenia

Automated Error Analysis of Numerical Software for High-Consequence Systems

语言：Haskell · GitHub 星标：8 · Fork：1

话题：floating-point · formal-methods · scr-3087 · snl-other

在 GitHub 上查看原仓库