Administrative

Announcements

Evaluation

The evaluation will follow the level of acquisition and understanding of the concepts taught within the discipline and will be based on the assignments given at the laboratories and two written tests (week 8 and week 14). 

Minimum performance standard ( (they will be evaluated on the basis of the written tests):

• one knows how to formally specify a problem  

• one knows what it means to check a program  

• one knows how to check/verify a simple program 

• one knows what static analysis is and how to use a tool for it