1. Interval Analysis;Moore,1966
2. Interval Methods for Systems of Equations;Neumaier,1990
3. The kv interval arithmetic library (version 0.4.43);Kashiwagi,2017
4. The why3 platform (version 1.1.0);Bobot,2017
5. F. Bobot, J.-C. Filliâtre, C. Marché, A. Paskevich, Why3: Shepherd your herd of provers, in: International Workshop on Intermediate Verification Languages, BOOGIE, 2011, pp. 53–64.