Invertibility Conditions for Floating-Point Formulas

Martin Brain, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark Barrett, Cesare Tinelli

This site provides our paper Invertibility Conditions for Floating-Point Formulas and related material at CAV 2019.

An extended version of our paper at CAV 2019 can be found below.

All materials to reproduce the experimental evaluation in our paper can be found below.

Downloads

• Paper at CAV 2019
• Extended version of our paper at CAV 2019
• README for the artifact
• Artifact [tar.xz] as submitted to the artifact evaluation at CAV 2019