Loading...
  1. Simple search
  2. Search result
Search for: data-oriented
0.116 seconds
Total 1 records

      Data-Oriented Verification of Programs

      , M.Sc. Thesis Sharif University of Technology Vakili, Amir Hossein (Author) ; Ardeshir, Mohammad (Supervisor)
      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  
    Total 1 records