Three-Tier-FPA-Benchs

Project information

Material used to evaluate Alt-Ergo's Floating-Point reasoning approach described in the CAV'17 paper: A Three-tier Strategy for Reasoning about Floating-Point Numbers in SMT

22 Commits
2 Branches
0 Tags

README

Created on

August 07, 2017

Copy SSH clone URLgit@gitlab.com:iguerNL/Three-Tier-FPA-Benchs.git
Copy HTTPS clone URLhttps://gitlab.com/iguerNL/Three-Tier-FPA-Benchs.git