You are not logged in |
Generatory obligacji dowodowych
- Speaker(s)
- Tadeusz Sznuk
- Affiliation
- Uniwersytet Warszawski
- Date
- March 29, 2010, 10:15 a.m.
- Room
- room 4790
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
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.
