Data-Oriented Verification of Programs

Please enable javascript in your browser.

Vakili, Amir Hossein | 2009

384 Viewed

Type of Document: M.Sc. Thesis
Language: Farsi
Document No: 39374 (02)
University: Sharif University of Technology
Department: Mathematical Sciences
Advisor(s): Ardeshir, Mohammad
Abstract:
The verification of programs is one of the most important subjects in Computer Science. In this thesis, after reviewing preliminary subjects, While-Programming computational model is presented and its semantics is discussed. Next, the axiomatic method of Hoare is presented, which is a deduction system for verification of programs. With the help of Hoare method, the idea of Data-Oriented verification of programs is developed
Keywords:
Computer Aided Engineering ; Semantics ; PROGRAM VERIFICATION (COMPUTER) ; Hoare Axiomatic Method ; Data-Oriented

No TOC