You are not logged in | Log in
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw

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.

Careers

Website

© 2024 University of Warsaw. All rights reserved.