IV101 Seminar on verification

Faculty of Informatics
Spring 2004
Extent and Intensity
0/2. 2 credit(s). Type of Completion: z (credit).
Teacher(s)
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.
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
Course objectives (in Czech)
Cílem semináře je získání praktických dovedností a zkušeností s automatizovanou verifikací zejména paralelních a distribuovaných systémů.
Syllabus (in Czech)
  • V rámci semináře se studenti seznámí s několika nejpoužívanějšími verifikačními nástroji, vhodnými formalizmy pro vyjádření vlastností systémů a vypracují verifikační projekt v rozsahu 15 hod. Seminář doplňuje předměty "Komunikace a paralelismus" a "Paralelní a distribuované výpočty".
Literature
  • Peled, Doron. Software Reliability Methods. Springer, 2001.
  • 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.
The course is taught: every week.
Teacher's information
http://www.fi.muni.cz/usr/brim/IV101
The course is also listed under the following terms Autumn 2003, Autumn 2004, Spring 2005, Autumn 2005, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2012, Spring 2013, Spring 2015.
  • Enrolment Statistics (Spring 2004, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2004/IV101