Course Catalog 2009-2010
International

Basic Pori International Postgraduate Open University

|Degrees|     |Study blocks|     |Courses|    

Course Catalog 2009-2010

OHJ-2506 Program Verification, 5 cr

Person responsible

Antero Kangas, Antti Valmari

Implementations

  Lecture times and places Target group recommended to
Implementation 1

Periods 3 3 - 4

 
 


Requirements

Exercises, exam (or just exercises).
Completion parts must belong to the same implementation

Principles and baselines related to teaching and learning

-

Learning outcomes

Ability to verify parts of programs, algorithms and data structures using logic and set theory. Formal methods' fundamental and practical limitations.

Content

Content Core content Complementary knowledge Specialist knowledge
1. Weakest preconditions     
2. Verification techniques for loops     
3. Verification of algorithms     
4. Analysis and comparison of data structures using set theory     


Evaluation criteria for the course

Exercises and exam.

Assessment scale:

Numerical evaluation scale (1-5) will be used on the course

Partial passing:

Completion parts must belong to the same implementation

Prerequisites

Course Mandatory/Advisable Description
MAT-20600 Discrete Mathematics Mandatory    
OHJ-2100 Basic Tools for Software Science Mandatory    

Prerequisite relations (Requires logging in to POP)

Correspondence of content

Course Corresponds course  Description 
OHJ-2506 Program Verification, 5 cr OHJ-2500 Program Verification, 5 cr  

More precise information per implementation

  Description Methods of instruction Implementation
Implementation 1        


Last modified03.03.2009
ModifierAntero Kangas