1. 2.1 The Failure of the Ariane 5;Finagle's Third Law A. B.;Bits and Bugs: A Scientific and Historical Review of Software Failures in Computational Science,2019
2. Miné A. 2017. Tutorial on static inference of numeric invariants by abstract interpretation. Foundations and Trends® in Programming Languages 4(3-4) 120-372.
3. JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode
4. Huang Ming Zhan Haitan Zhang Wei Jing Xiaochuan Li Ning and Wang Xiaoyin. 2016. Numerical Runtime Error Check of Aerospace Safety-Critical Software. Space Control Technology and Applications (06) 58-62
5. Lu Chen. 2017. Research and Implementation of Abstract Interpretation Methods for Numerical Properties of Program Variables (Master's Thesis, Nanjing University of Aeronautics and Astronautics)