| layout | title |
|---|---|
about |
O kursu |
Kurs Verifikacija softvera je izborni kurs na master studijama za studente R i I smera. U okviru kursa proučavaju se različite tehnike verifikacije softvera, počevši od dinamičkih pristupa verifikaciji do naprednih tehnika statičke analize. Kurs je, u okviru vežbi, praktično orijentisan na savladavanje upotrebe različitih alata za verifikaciju softvera, a na predavanjima se prelaze osnovni koncepti i teorijske osnove oblasti.
Neke od tema na kursu:
- Tehnike testiranja
- Alati za profajliranje i debagovanje
- Statička analiza koda kroz preglede
- Simboličko izvršavanje
- SMT/SAT u verifikaciji softvera
- Proveravanje modela
- Semantika programskih jezika
- Apstraktna interpretacija