Foundations for evolutionary construction of state transition models

Author

Aoki, Toshiaki ; Katayama, Takuya

Author_Institution

Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan

fYear

2004

fDate

6-7 Sept. 2004

Firstpage

143

Lastpage

146

Abstract

We are working on the verification of object-oriented design models using a theorem proving system HOL. One of big problems to verify software is that the cost of interactive proofs to be done during the verification is very expensive. To reduce that cost, we are proposing an approach which allows us to reuse proofs and construct models evolutionally. We focus on evolutionary construction of the models and propose foundations to deal with it.

Keywords

program verification; software maintenance; theorem proving; HOL; construct models; evolutionary construction; evolutionary model construction; interactive proofs; object-oriented design models; software verification; state transition models; theorem proving system; Conferences; Costs; Fires; Object oriented modeling; Software libraries;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Evolution, 2004. Proceedings. 7th International Workshop on Principles of

ISSN

1550-4077

Print_ISBN

0-7695-2211-4

Type

conf

DOI

10.1109/IWPSE.2004.1334779

Filename

1334779

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3443763