FI:I040 Modal and Temporal Logics for - Course Information
I040 Modal and Temporal Logics for Processes
Faculty of InformaticsSpring 1997
- Extent and Intensity
- 0/2. 2 credit(s). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).
- Teacher(s)
- prof. RNDr. Luboš Brim, CSc. (lecturer)
- Guaranteed by
- Contact Person: prof. RNDr. Luboš Brim, CSc.
- Prerequisites
- Recommended: I010 Communication and Parallelism
- Course Enrolment Limitations
- The course is also offered to the students of the fields other than those the course is directly associated with.
- fields of study / plans the course is directly associated with
- Informatics (programme FI, B-IN)
- Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
- Information Technology (programme FI, B-IN)
- Syllabus
- Modal logics: propositional modal logic, modal mu-calculus.
- Temporal logics: propositional temporal logic, linear and branching time, temporal operators.
- Real-Time logics.
- Verification of sequential processes (Hoare logic).
- Classification of properties, liveness, safety, local and global properties.
- Model checking.
- Language of instruction
- Czech
- Enrolment Statistics (Spring 1997, recent)
- Permalink: https://is.muni.cz/course/fi/spring1997/I040