FI:IV113 Validation and Verification

IV113 Introduction to Validation and Verification

Faculty of Informatics
Autumn 2007

Extent and Intensity

2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).

Teacher(s)

prof. RNDr. Jiří Barnat, Ph.D. (lecturer)

Guaranteed by

Timetable

Wed 10:00–11:50 B011

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 37 fields of study the course is directly associated with, display

Course objectives

The main mission of the course is to provide students with knowledge of some basic techniques of validation and verification of software systems.

Syllabus

Introduction to techniques of validation and verification. Testing missions. Strategy of testing, The oracle problem. Domain-based testing. Regression testing. Formal verification of sequential and parallel programs. LTL model checking. CTL model checking. Techniques for state space reduction. Theorem proving demo.

Assessment methods (in Czech)

Ukončení písemnou zkouškou na odpřednášenou látku. Nepovinné přednášky, bez domácích úloh.

Language of instruction

Czech

Follow-Up Courses

Further Comments

The course is taught annually.