Welcome to the website of the
"Software Architecture-based Testing and
Model-checking" ECI summer course.
In
this website you may find the following information:
Course Overview: a brief introduction to the course
Instructor: information about the course instructor
Schedule and Notes: lectures schedule and notes
Academic Honesty: rules to be followed
Students Area: projects and exams information and results
NEWS: news