University of Illinois Urbana-Champaign

Self-Checking Programs: An Axiomatic Approach to the Validation of Programs by the Use of Assertions

Mili, Ali

This item is only available for download by members of the University of Illinois community. Students, faculty, and staff at the U of I may log in with your NetID and password to view the item. If you are trying to access an Illinois-restricted dissertation or thesis, you can request a copy through your library's Inter-Library Loan office or purchase a copy directly from ProQuest.

Permalink

https://hdl.handle.net/2142/66455

Description

Title
Self-Checking Programs: An Axiomatic Approach to the Validation of Programs by the Use of Assertions
Author(s)
Mili, Ali
Issue Date
1981
Department of Study
Computer Science
Discipline
Computer Science
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
Ph.D.
Degree Level
Dissertation
Keyword(s)
Computer Science
Language
eng
Abstract
  • The subject of this thesis is the development and investigation of a Methodology for program design and verification. The design part is described by a step-wise refinement process. The verification part is described by a set of Induction Rules. The distinguishing feature of this methodology is that it produces programs which are not proven to be correct but to have a property that is weaker than correctness: The Self-Checking Property.
  • The self-checking Property is based on a systematic use of assertions and is defined as follows: A program is said to be self-checking if and only if we can prove that any time it is executed on some input data and all assertions return True when they are checked for, then the output obtained is correct.
  • An example of design and verification of a self-checking program performing Gaussian elimination is shown. It is stressed that very little effort is needed for the verification of its self-checking property.
Graduation Semester
1981
Type of Resource
text
Permalink
http://hdl.handle.net/2142/66455

Owning Collections

Graduate Dissertations and Theses at Illinois PRIMARY
Graduate Theses and Dissertations at Illinois
Dissertations and Theses - Computer Science
Dissertations and Theses from the Dept. of Computer Science