Arvutiteaduse instituut
Courses.cs.ut.ee Arvutiteaduse instituut Tartu Ülikool
  1. Kursused
  2. 2021/22 kevad
  3. Kaasaegne verifitseerimine ja valideerimine (LTAT.03.020)
EN
Logi sisse
Tähelepanu! 19.05.2026 ajavahemikul 18.00 - 18.30 võib esineda tõrkeid courses-veebilehe töös. Palume hoiduda sel ajal kodutööde esitamisest ja sisu muutmisest. Vabandame ebameeldivuste pärast.

Kaasaegne verifitseerimine ja valideerimine 2021/22 kevad

Course information

  • Home
  • Schedule

Related courses

  • l'X: Computational Logic
  • LIP6: Abstract Interpretation
  • TUM: Automated Bughunting

Important links

  • SV-COMP
  • Goblint

Communication

  • Zulip

Schedule

Course was replaced with individualized learning, due to low participation. We are refactoring the pipelines to enable more students to reach this kind of highly specialized course.

  • Arvutiteaduse instituut
  • Loodus- ja täppisteaduste valdkond
  • Tartu Ülikool
Tehniliste probleemide või küsimuste korral kirjuta:

Kursuse sisu ja korralduslike küsimustega pöörduge kursuse korraldajate poole.
Õppematerjalide varalised autoriõigused kuuluvad Tartu Ülikoolile. Õppematerjalide kasutamine on lubatud autoriõiguse seaduses ettenähtud teose vaba kasutamise eesmärkidel ja tingimustel. Õppematerjalide kasutamisel on kasutaja kohustatud viitama õppematerjalide autorile.
Õppematerjalide kasutamine muudel eesmärkidel on lubatud ainult Tartu Ülikooli eelneval kirjalikul nõusolekul.
Courses’i keskkonna kasutustingimused