Exam on Tuesday 19th and Office hours
16 janeiro 2021, 16:32 • Paulo Alexandre Carreira Mateus
Office hours will be made by zoom on Monday by 14h00m (check section on remote sections)
The exam will be 2hours and not 3 hours due to pandemic
The structure is Three groups (similar to the previous exams)
I) 3 Val
Regular and omega regular properties and automata
II) 3 val
LTL model checking
III) 4 Val
CTL model checking and fixpoints