Course Catalog 2009-2010 Basic Basic Pori International Postgraduate Open University |Degrees|     |Study blocks|     |Courses|

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

Correspondence of content

More precise information per implementation

	Description	Methods of instruction	Implementation
Implementation 1

Last modified	03.03.2009
Modifier	Antero Kangas