A tool for implementing a Floating-Point related application. The tool includes a receiver for receiving a list of commands in a computer language. The language defines Floating-Point events of interest and the regrouping of events into a coverage model in respect of a desired FP instruction. The coverage model has the form of a sequence of Floating-Point commands with constraints on the input operands, intermediate result operand and the result operand. The constraints are expressed in terms of sets that define allowable Floating-Point numbers. The tool further includes a parser for parsing the commands and a processor for processing the parsed commands for realizing on the basis of the events and the coverage model the Floating-Point related application.