This paper brings together two methods producing numerical solutions with a statement of their quality - the nonstandard finite difference method and the method of validated computing. It deals with the construction and ...