FI:IV101 Seminar on verification - Course Information

IV101 Seminar on verification

Extent and Intensity

0/2. 2 credit(s). Type of Completion: z (credit).

Teacher(s)

prof. RNDr. Jiří Barnat, Ph.D. (lecturer)
prof. RNDr. Luboš Brim, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Luboš Brim, CSc.

Timetable

each odd Thursday 14:00–17:50 B003

Prerequisites (in Czech)

SOUHLAS

Course Enrolment Limitations

The course is only offered to the students of the study fields the course is directly associated with.

The capacity limit for the course is 12 student(s).
Current registration and enrolment status: enrolled: 0/12, only registered: 0/12

fields of study / plans the course is directly associated with

• Applied Informatics (programme FI, B-AP)
• Applied Informatics (programme FI, N-AP)
• Informatics with another discipline (programme FI, B-BI)
• Informatics with another discipline (programme FI, B-FY)
• Informatics with another discipline (programme FI, B-GE)
• Informatics with another discipline (programme FI, B-GK)
• Informatics with another discipline (programme FI, B-CH)
• Informatics with another discipline (programme FI, B-IO)
• Informatics with another discipline (programme FI, B-MA)
• Informatics with another discipline (programme FI, B-SO)
• Informatics with another discipline (programme FI, B-TV)
• Informatics (programme FI, B-IN)
• Informatics (programme FI, M-IN)
• Informatics (programme FI, N-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-TV)
• Upper Secondary School Teacher Training in Informatics (programme FI, N-SS)

Course objectives

The goal is to acquire practical experience in automated verification of parallel and distributed systems.

Syllabus

• In the seminar the students get introduced to several verification tools, formal languages for describing typical properties of systems, and they will work on a practical project. The seminar supplements the courses "Communication and Parallelism" and "Parallel and Distributed Systems".

Literature

• Peled, Doron. Software Reliability Methods. Springer, 2001.
• HOLZMANN, Gerald J. The spin model checker :primer and reference manual. Boston: Addison-Wesley, 2004, xii, 596 s. ISBN 0-321-22862-6. info
• GRUMBERG, Orna, Doron A. PELED and E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999, xiv, 314. ISBN 0262032708. info

Assessment methods (in Czech)

Studenti jsou hodnoceni na základě samostatné práce na projektech.

Language of instruction

Czech

Further Comments

The course is taught each semester.

Teacher's information

http://www.fi.muni.cz/usr/brim/IV101

• Enrolment Statistics (Autumn 2004, recent)
  
• Permalink: https://is.muni.cz/course/fi/autumn2004/IV101