What we have solved: the possibility to receive DVB-T (Digital Video Broadcasting Terrestrial) with respect to local conditions for signal. We have deduced: variables that represent a set of so-called useful signal, i.e. the signal suitable for further processing – amplification and distribution. As a case study we have choosed few examples using Event B Method to show possibilty of solving komplex projects by this method. The resulting program can be proven to be correct as for its theoretical backgrounds. It is based on Zermelo-Fraenkel set theory with axion of choice, the concept of generalized substitution and structuring mechanismus (machine, refinement, implementation). B methods are accompanied by mathematical proofs that justify them. Abstract machine in this example connected with mathematical modelling solves an ability to receive DVB-T signal from the plurality of signals, both useful and useless for further processing.