Одељење за математику, 25. мај 2018.
- 18. Мај, 2018
- Коментари (0)
Наредни састанак Семинара биће одржан у петак, 25. маја 2018. у сали 301ф Математичког института САНУ са почетком у 14:15 часова.
Предавач: Милена Вујошевић Јаничић, Математички факултет, Универзитет у Београду
Наслов предавања: СТАТИЧКА ВЕРИФИКАЦИЈА СОФТВЕРА
Апстракт: Верификација софтвера, т.ј. испитивање исправности софтвера, један је од важних проблема савременог рачунарства. Наиме, неисправан софтвер кошта светску економију милијарде долара годишње, а неке софтверске грешке могу имати фаталне последице по животе људи или по животну средину. Грешке у софтверу обично су последице људских грешака, и једини начин да се оне елиминишу је употреба формалних математичких метода и приступа као што су симболичко извршавање, апстрактна интерпретација и проверавање модела. У оквиру предавања биће дат кратак преглед области верификације софтвера са акцентом на њене теоријске основе и теоријска ограничења, биће речи о актуелним изазовима и практичним могућностима примене. Такође, биће дат и кратак осврт на један алат предавача.
Коментари(0)