Sollya is a computer program for safe floating-point code development, offering tools for automated...