for students of computer studies (2 year, master).
kod kursu: INEA12103W
Lectures on how to use temporal logic with timed automata in modelling and verifying information systems etc.
The lectures take the last 5 periods.
Presentations on temporal logic and timed automata
- lecture 1:
- lecture 2–3:
- lecture 4:
- lecture 5:
Example projects used in the presentations
- UPPAAL projects presented in the presentations
- UPPAAL projects in the demo catalogue of the UPPAAL program
- NuSMV projects presented in the presentations
Students, who got less than 4,5 for the laboratories on temporal logic and timed automata, must take the egzam on this subject.
Other students may take the egzam, or get the grade for the laboratories.