An algorithm for the automatic verification of inheritance

In this paper we introduce the concept of correct inheritance and establish the appropriate formal conditions that must be satisfied by the subclass. Based on that, we develop a formal recursive algorithm for automatic verification of inheritance. The solution is based solely on the first-order predicate logic.