Management of change in structured verification

Author

Hutter, Dieter

Author_Institution

German Res. Center for Artificial Intelligence, Saarbrucken, Germany

fYear

2000

fDate

2000

Firstpage

23

Lastpage

31

Abstract

The use of formal methods in large complex applications implies the need for an evolutionary formal program development in which specification and verification phases are interleaved. Any change of a specification either by adding new parts or by changing erroneous parts affects existing verification work in a subtle way. We present a truth maintenance system for structured specification and verification. It is based on the simple but powerful notion of a development graph as an underlying data structure to represent an actual consistent state of a formal development. Based on this notion we try to minimize the consequences of changes of existing verification work

Keywords

data structures; formal specification; graph theory; management of change; program verification; truth maintenance; data structure; evolutionary formal program development; formal methods; formal specification; graph; management of change; program verification; structured verification; truth maintenance system; Artificial intelligence; Modular construction; Refining; Terminology;

fLanguage

English

Publisher

ieee

Conference_Titel

Automated Software Engineering, 2000. Proceedings ASE 2000. The Fifteenth IEEE International Conference on

Conference_Location

Grenoble

ISSN

1938-4300

Print_ISBN

0-7695-0710-7

Type

conf

DOI

10.1109/ASE.2000.873647

Filename

873647