Jak analyzovat korektnost programů

by · Oct 17, 2019 · 10 views ·

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.