×
Универзитет у Новом Саду

Предмет: Увод у формалне методе (17.0M533)

Основне информације:
 
Категорија Научно-стручни
Ужа научна област Теоријска и примењена математика
ЕСПБ 4

Стицање знања о формалним методама. Практичан рад са алатима. Укључивање студента у научно-истраживачки рад.

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

Формална спецификација. Формална верификација. Формални машински-проверљиви докази. Језици за спецификацију: процесни рачуни (ЦЦС, ЦСП, пи-рачун), Петри мреже. Аутоматски алати: ПАТ, Мобилитy Wоркбенцх.

На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. Студенти у групама и самостално проучавају додатну литературу и дискутују је са наставником на консултацијама.

Аутори Назив Година Издавач Језик
Schneider, K. Verification of reactive systems 2004 Springer, Berlin Енглески
Hubert Garavel (editor) and Susanne Graf Formal Methods for Safe and Secure Computer Systems 2013 Springer Енглески
Предметна активност Предиспитна Обавезна Број поена
Предметна активност
Теоријски део испита
Предиспитна
Не
Обавезна
Да
Број поена
50.00
Предметна активност
Семинарски рад
Предиспитна
Да
Обавезна
Да
Број поена
45.00
Предметна активност
Присуство на вежбама
Предиспитна
Да
Обавезна
Да
Број поена
2.00
Предметна активност
Присуство на предавањима
Предиспитна
Да
Обавезна
Да
Број поена
3.00

Предавања

Аудиторне вежбе