User loginNavigation |
Inheritance 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 | previous forum topic | next forum topic | other blogs | 4300 reads
|
Browse archives
Active forum topics |
Recent comments
23 weeks 23 hours ago
23 weeks 1 day ago
23 weeks 1 day ago
45 weeks 2 days ago
49 weeks 4 days ago
51 weeks 1 day ago
51 weeks 1 day ago
1 year 1 week ago
1 year 6 weeks ago
1 year 6 weeks ago