Back to results
University of Illinois at Urbana-Champaign
Self-Checking Programs: An Axiomatic Approach to the Validation of Programs by the Use of Assertions
Abstract
dc:descriptionThe 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.
Degree
thesis:*- Name thesis:degree_name
- Ph.D.
- Level thesis:degree_level
- Dissertation
- Discipline thesis:degree_discipline
- Computer Science
- Grantor
- University of Illinois at Urbana-Champaign
- Year dc:date
- 2014
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Mili, Ali
Subjects
dc:subject × 1Rights
- Language dc:language
- eng
Identifiers
dc:identifier.*- Identifier
- (UMI)AAI8127645
- OAI identifier oai:identifier
- oai:www.ideals.illinois.edu:2142/66455