User loginNavigation |
archivesInheritance and formal verification of softwareInheritance is an important technique for abstraction in object oriented software. Functional languages like Haskell have some form of inheritance of concepts as well (e.g. the class Eq). Verification techniques should therefore take inheritance into account. By looking further into the topic it becomes evident that inheritance is a good vehicle for program verification as well i.e. inheritance helps verification. Abstract classes can make some assumptions and prove some other properties based on the assumptions and the defined functions within the absract class. A descendant of the abstract concepts just needs to substantiate the assumptions and can inherit all the proved proved properties of the abstract concept. This technique is described in the article "inheritance" and demonstrated with some examples like equality, partial order and total order. By hbrandl at 2012-04-24 14:23 | LtU Forum | login or register to post comments | other blogs | 4228 reads
|
Browse archivesActive forum topics |
Recent comments
6 days 21 hours ago
1 week 53 min ago
1 week 59 min ago
23 weeks 1 day ago
27 weeks 3 days ago
29 weeks 8 hours ago
29 weeks 8 hours ago
31 weeks 5 days ago
36 weeks 2 days ago
36 weeks 2 days ago