Institute of Computer Science
  1. Courses
  2. 2021/22 spring
  3. Advanced Verification and Validation (LTAT.03.020)
ET
Log in

Advanced Verification and Validation 2021/22 spring

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.

  • Institute of Computer Science
  • Faculty of Science and Technology
  • University of Tartu
In case of technical problems or questions write to:

Contact the course organizers with the organizational and course content questions.
The proprietary copyrights of educational materials belong to the University of Tartu. The use of educational materials is permitted for the purposes and under the conditions provided for in the copyright law for the free use of a work. When using educational materials, the user is obligated to give credit to the author of the educational materials.
The use of educational materials for other purposes is allowed only with the prior written consent of the University of Tartu.
Terms of use for the Courses environment