Data-Oriented Verification of Programs

Please enable javascript in your browser.

This page was sent successfuly

Bookmark

1617 viewed

بررسی صحت برنامه ها با رویکردی داده گرا

1617 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