Annotation: This article highlights the most essential properties of software for searching for errors in it by the method of spot-based fuzzing. A generalized set-theoretic model of software is formulated, its invariant form is presented and its adequacy, universality and consistency are proved.

Keywords: information security, software, error detection, mathematical modelling, symbolic execution, fuzzing