Habilitační přednáška pro odbornou veřejnost RNDr. Jana Strejčka, Ph.D.
Předsedkyně habilitační komise prof. Černá zve všechny zájemce na habilitační
přednášku pro odbornou veřejnost pana RNDr. Jana Strejčka, Ph.D. Přednáška
proběhne v rámci Informatického kolokvia na Fakultě informatiky MU v posluchárně
D2 v úterý 25.9.2012 ve 14 hod.
Symbolická exekuce a její praktická použití
--------------------------------------------------------------
Symbolická exekuce je jednou z klasických metod analýzy programů.
Přednáška představí základní principy symbolické exekuce a objasní její výhody a
nevýhody.
Dále budou popsány některé úspěšné aplikace symbolické exekuce v oblasti hledání
chyb v programech a budou nastíněny aktuální směry výzkumu v této oblasti.
- Webová adresa