Generatory niezmienników i automatyczna weryfikacja II

Prelegent(ci)

Maciej Zielenkiewicz

Afiliacja

Uniwersytet Warszawski

Termin

7 marca 2011 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Przedstawię sposób wykorzystania narzędzia ACSAR do automatycznej weryfikacji programów w Javie operujących na tablicach i znajdowania niezmienników pętli dla tych programów. Wystąpienie zilustrowane zostanie wynikami dla przykładowych programów.

---