Software Synthesis and Verification

Course code: ITI0130, ITI8530
Link: http://courses.cs.ttu.ee/pages/ITI0130

Lecturer: prof. Jüri Vain
Contact: juri.vain ätt ttu.ee, ICT-418

Previous courses: 2013

Time and place

Lectures: Wednesdays 14:00, ICT-A1 Labs: Wednesdays 16:00, ICT-401

Lecture notes

• Lecture 1: Introduction to formal methods

Labs

• Lab 1: Introduction to modelling in UPPAAL UPPAAL
  • Praktikumi 1 juhend
  • Näidismaterjal: Objektid ja nende omadused

Lisamaterjalid

• Learn Prolog Now
• Web Testing with Logic Programming - Daniel Gregoire