I040 Modal and Temporal Logics for Processes

Faculty of Informatics
Spring 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
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
The course is also listed under the following terms Spring 1996, Spring 1998, Spring 1999, Spring 2000, Spring 2001, Spring 2002.
  • Enrolment Statistics (Spring 1997, recent)
  • Permalink: https://is.muni.cz/course/fi/spring1997/I040