Formal methods
1. |
Subject title |
Formal methods Формални методи |
||||||||||||||||||||||||||||
2. |
Code |
KN-Z-03 |
||||||||||||||||||||||||||||
3. |
Study program |
Computer Science, IT management, Bioinformatics, Cloud Computing, Data science in computer science and engineering, Security, Cryptography and Coding, Еducation with ICT, Eco-informatics, Inteligent Systems, Statistics and Data Analytics, Internet Technologies and cyber security, Software for embedded systems, Cloud Computing, IT management, Bioinformatics, Security, Cryptography and Coding, Statistics and Data Analytics, Software Engineering, Software Engineering, |
||||||||||||||||||||||||||||
4. |
Organizer of the study program (unit, institute, department, division) |
Faculty of Information Sciences and Computer Engineering |
||||||||||||||||||||||||||||
5. |
Study cycle (first, second, third) |
Втор циклус |
||||||||||||||||||||||||||||
6. |
Academic year / semester 5 / Зимски |
7. Number of ECTS credits 6.0 |
||||||||||||||||||||||||||||
8. |
Instructor |
проф. д-р Ласко Баснарков проф. д-р Весна Димитриевска Ристовска |
||||||||||||||||||||||||||||
9. |
Prerequisites for enrollment |
|
||||||||||||||||||||||||||||
10. |
Subject goals and competencies: The subject will introduce students to the opportunities offered by formal methods, formal methods and their use in building software architectures. The complete methodology of formal modeling, specification and verification of reactive systems is studied. Upon completion of the course, the student is expected to know the advantages offered by formal methods in computer engineering, and to be able to practically realize such systems, as well as to verify the specification of the specification.
|
|||||||||||||||||||||||||||||
11. |
Subject content: Basics of formal methods. Modern techniques and tools for automatic verification. Concurrent systems with a final number of conditions. Model checking in concurrent systems with a final number of conditions. Modeling with transition systems. Temporal logic modeling. Verification algorithms. |
|||||||||||||||||||||||||||||
12. |
Learning methods: NULL |
|||||||||||||||||||||||||||||
13. |
Total available time fund |
6.0 ECTS x 30 hours = 180 hours |
||||||||||||||||||||||||||||
14. |
Time distribution |
60 + 30 + 0 + 60 + 30 = 180 hours
|
||||||||||||||||||||||||||||
15. |
Forms of teaching activities |
15.1. |
Lectures - theoretical teaching |
60 hours |
||||||||||||||||||||||||||
15.2. |
Exercises (laboratory, classroom), seminars, team work |
30 hours |
||||||||||||||||||||||||||||
16. |
Other forms of activities |
16.1. |
Project tasks |
60 hours
|
||||||||||||||||||||||||||
16.2. |
Independent tasks |
0 hours |
||||||||||||||||||||||||||||
16.3. |
Homework |
30 hours |
||||||||||||||||||||||||||||
17. |
Grading method |
|||||||||||||||||||||||||||||
17.1. |
Tests |
0 points |
||||||||||||||||||||||||||||
17.2. |
Seminar work / project (presentation: written and oral) |
60 points |
||||||||||||||||||||||||||||
17.3. |
Activities and learning |
20 points |
||||||||||||||||||||||||||||
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. |
Condition for signature and taking final exam |
реализирани активности |
||||||||||||||||||||||||||||
20. |
Language of instruction |
NULL |
||||||||||||||||||||||||||||
|
21. |
Quality assurance method |
NULL
|
||||||||||||||||||||||||||||
22. |
Literature |
|||||||||||||||||||||||||||||
22.1. |
Mandatory literature |
|||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||
|
22.2. |
Additional literature |
|
||||||||||||||||||||||||||||