Course Catalog 2013-2014
Basic

Basic Pori International Postgraduate Open University

|Degrees|     |Study blocks|     |Courses|    

Course Catalog 2013-2014

MAT-71506 Program Verification, 5 cr

Additional information

Suitable for postgraduate studies

Person responsible

Antero Kangas

Lessons

Study type P1 P2 P3 P4 Summer Implementations Lecture times and places
Lectures
Excercises
 4 h/week
 2 h/week
+3 h/week
+3 h/week


 


 


 
MAT-71506 2013-01 Tuesday 12 - 14, TB223
Thursday 10 - 12, TB219

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     

Instructions for students on how to achieve the learning outcomes

Exercises and exam (or just exercises).

Assessment scale:

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

Partial passing:

Completion parts must belong to the same implementation

Prerequisite relations (Requires logging in to POP)



Correspondence of content

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

More precise information per implementation

Implementation Description Methods of instruction Implementation
MAT-71506 2013-01        

Last modified21.02.2013