IV113 Introduction to Validation and Verification

Faculty of Informatics
Autumn 2008
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types 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
Contact Person: prof. RNDr. Jiří Barnat, Ph.D.
Timetable
Thu 16:00–17: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 objective of the course is to provide students with knowledge of some basic techniques of validation and verification of software systems. After successful completion of the course, students should be able to decide about validity of technics used to ensure quality of a software project during its development, should be able to formulate desired properties of systems in temporal logic, should understand the way a model checker can be used to verify temporal properties, and should be able explain how a model checker works.
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.
Literature
  • GRUMBERG, Orna, Doron A. PELED and E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999, xiv, 314. ISBN 0262032708. info
  • http://www.testingeducation.org/BBST/index.html
Assessment methods
The course is completed with a written test on all contents presented during the lectures. Personal participation at classes is not required. There are no home work.
Language of instruction
Czech
Follow-Up Courses
Further Comments
The course is taught annually.
The course is also listed under the following terms Autumn 2007, Autumn 2009, Autumn 2010, Autumn 2011, Autumn 2012, Autumn 2013, Autumn 2014, Autumn 2015, Autumn 2016, Autumn 2017, Autumn 2018.
  • Enrolment Statistics (Autumn 2008, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2008/IV113