Finally, DBA do not provide any operator for floating-point arithmetic. It is straightforward to add them to the model, but taking them into account in the analysers is much more demanding. 4 The BINCOA Framework Tool support for DBA manipulation. We provide open-source OCaml code for basic...