Subject

Формални методи

Course Title

Формални методи
Formal methods

Code

KN-Z-03

Study Programme

—

Organizer of the study programme (unit, institute, department or division)

Faculty of Computer Science and Engineering

Degree level (first, second, third cycle)

Second cycle

Academic year / semester

9 / Winter

Number of ECTS credits

Teacher

Ласко Баснарков, Весна Димитриевска Ристовска

Prerequisites for enrolling in the course

—

10.

Objectives of the course programme (competences)

Предметот ќе ги запознае студентите со можностите што ги нудат формалните методи, категориите на формални методи и нивната употреба во градењето на софтверските архитектури. Притоа се изучува комплетната методологија на формално моделирање, спецификација и верификација на реактивните системи. По завршувањето на курсот, се очекува студентот да ги знае предностите што ги нудат формалите методи во компјутерското инженерство, и притоа да може практично да реализира моделирање на вакви системи, како и да изврши верификација на испонетоста на спецификацијата.

11.

Course content

Основи на формалните методи. Модерни техники и алатки за автоматска верификација. Истовремени системи со конечен број на состојби. Model checking кај истовремени системи со конечен број на состојби. Моделирање со транзициски системи. Моделирање со темпорална логика. Алгоритми за верификација.

12.

Learning methods

NULL

13.

Total available time

6 ECTS x 30 hours = 180 hours

14.

Distribution of available time

60 + 30 + 0 + 60 + 30 = 180 часа

15.

Forms of teaching activities

15.1.	Lectures - theoretical instruction	60 hours
15.2.	Exercises (laboratory, auditory), seminars, teamwork	30 hours

16.

Other forms of activities

16.1.	Project assignments	60 hours
16.2.	Independent assignments	0 hours
16.3.	Home study	30 hours

17.

Assessment method

17.1.	Tests	0 points
17.2.	Seminar paper / project (presentation: written and oral)	60 points
17.3.	Activities and learning	20 бодови
17.4.	Final exam	0 points

18.

Grading criteria (points / grade)

up to 50 points	5 (five) (F)
from 51 to 60 points	6 (six) (E)
from 61 to 70 points	7 (seven) (D)
from 71 to 80 points	8 (eight) (C)
from 81 to 90 points	9 (nine) (B)
from 91 to 100 points	10 (ten) (A)

19.

Requirement for obtaining a signature and taking the final exam

реализирани активности

20.

Language of instruction

NULL

21.

Method for monitoring the quality of teaching

NULL

22.

Literature

22.1.

Required literature

22.2.

Additional literature

No. Author Title Publisher Year