IV113 Introduction to Validation and Verification

Faculty of Informatics
Autumn 2007
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
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
Contact Person: prof. RNDr. Jiří Barnat, Ph.D.
Timetable
Wed 10:00–11:50 B011
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
Course objectives
The main mission of the course is to provide students with knowledge of some basic techniques of validation and verification of software systems.
Syllabus
  • Introduction to techniques of validation and verification. Testing missions. Strategy of testing, The oracle problem. Domain-based testing. Regression testing. Formal verification of sequential and parallel programs. LTL model checking. CTL model checking. Techniques for state space reduction. Theorem proving demo.
Assessment methods (in Czech)
Ukončení písemnou zkouškou na odpřednášenou látku. Nepovinné přednášky, bez domácích úloh.
Language of instruction
Czech
Follow-Up Courses
Further Comments
The course is taught annually.
The course is also listed under the following terms Autumn 2008, Autumn 2009, Autumn 2010, Autumn 2011, Autumn 2012, Autumn 2013, Autumn 2014, Autumn 2015, Autumn 2016, Autumn 2017, Autumn 2018.
  • Enrolment Statistics (Autumn 2007, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2007/IV113