Nie jesteś zalogowany |
Generatory obligacji dowodowych
- Prelegent(ci)
- Tadeusz Sznuk
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 29 marca 2010 10:15
- Pokój
- p. 4790
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
Zamierzam zacząc od powiedzenia, co to jest vcgen i jaką ma rolę w systemach weryfikacji. Potem omówię kilka takich systemów, w szczególności Vcc, Code contracts, KeY, Why, może też SPARK i Eiffel.
