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

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

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

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

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

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

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

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

Предавања

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