Одељење за математику, 25. мај 2018.

Наредни састанак Семинара биће одржан у петак, 25. маја 2018. у сали 301ф Математичког института САНУ са почетком у 14:15 часова.

Предавач: Милена Вујошевић Јаничић, Математички факултет, Универзитет у Београду

Наслов предавања: СТАТИЧКА ВЕРИФИКАЦИЈА СОФТВЕРА

Апстракт: Верификација софтвера, т.ј. испитивање исправности софтвера, један је од важних проблема савременог рачунарства. Наиме, неисправан софтвер кошта светску економију милијарде долара годишње, а неке софтверске грешке могу имати фаталне последице по животе људи или по животну средину. Грешке у софтверу обично су последице људских грешака, и једини начин да се оне елиминишу је употреба формалних математичких метода и приступа као што су симболичко извршавање, апстрактна интерпретација и проверавање модела. У оквиру предавања биће дат кратак преглед области верификације софтвера са акцентом на њене теоријске основе и теоријска ограничења, биће речи о актуелним изазовима и практичним могућностима примене. Такође, биће дат и кратак осврт на један алат предавача.


Нажалост није могуће оставити коментар.

Вести и дешавања


Активности на семинарима

све вести