Nie jesteś zalogowany |
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.
