This is your work, valued
symfpu. A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
SATABS. Archive to the SATABS predicate abstraction model checker
gitIntro. An introductory repository for a personal tutorial
