7 the validation is provided by a theoretical proof based on a set of common assumptions about the underlying hc system and application program