IV101 Seminar on verification

Faculty of Informatics
Spring 2010
Extent and Intensity
0/2. 2 credit(s). Type of Completion: z (credit).
Teacher(s)
prof. RNDr. Jiří Barnat, Ph.D. (lecturer)
Guaranteed by
prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Timetable
Mon 12:00–13:50 B411
Course Enrolment Limitations
The course is also offered to the students of the fields other than those 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, only registered with preference (fields directly associated with the programme): 0/12
fields of study / plans the course is directly associated with
there are 36 fields of study the course is directly associated with, display
Course objectives
At the end of the course, students will have practical experience with automated verification of computer systems. They will be able to use most standard model checkers, such as DiVinE, SPIN, UPPAAL, PRISM, etc.
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 student project.
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
Teaching methods
lectures, group projects
Assessment methods
Students are evaluated according their individual work on the project.
Language of instruction
Czech
Further Comments
Study Materials
The course is taught annually.
Teacher's information
http://www.fi.muni.cz/~xbarnat/IV101/
The course is also listed under the following terms Autumn 2003, Spring 2004, Autumn 2004, Spring 2005, Autumn 2005, Spring 2007, Spring 2008, Spring 2009, Spring 2012, Spring 2013, Spring 2015.
  • Enrolment Statistics (Spring 2010, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2010/IV101