Exam
A written exam is planned on theoretical topics covering only very elementary basics. Thus the exam is expected to be very easy.
What should I know?
- simple temporal properties expressed
- in LTL
- in CTL
- by an omega-automaton
- basics of OBDDs
- existential abstraction
- basics of JML