Akce ČVUT

 Dnes
«  říjen  2019  »
Po Út St Čt So Ne
  1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31      

Zpět na kalendář

44. Pražský informatický seminář

17.10.2019   16:15

Jan Vítek - Jak analyzovat korektnost programů

V přednášce stručně představíme základy analýzy programů, počínaje analýzou toku dat a metodou abstraktní interpretace, které byly vytvořeny před více než 50 lety. Popíšeme i některé novější techniky a jejich praktické důsledky. Nakonec zmíníme i postupy nekorektní, vysvětlíme důvody jejich nekorektnosti a to, jak zmírnit její následky.

Místo konání
Auditorium S5, MFF UK, Malostranské nám. 25, Prague 1
Pořadatel
Katedra kybernetiky FEL ČVUT
Kontaktní osoba
Mgr. Helena Houšková
Podrobnější informace
http://www.praguecomputerscience.cz/
Příloha
Stáhnout