Generatory niezmienników i automatyczna weryfikacja II

Speaker(s)

Maciej Zielenkiewicz

Affiliation

Uniwersytet Warszawski

Date

March 7, 2011, 10:15 a.m.

Room

room 4790

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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.

---