• Skip the Organizational structure panel
• Organizational structure

  On selecting a constituent part of MU the "List of projects" page will be displayed with information relevant to the selected constituent part. The "List of projects" page is not available for non-activated items.

  Masaryk University

  • Faculties
  • Law
  • Medicine
  • Science
  • Arts
  • Education
  • Economics
  • Informatics
  • Social Studies
  • Sports Studies

  • Institutes
  • Computer Science
  • CEITEC MU
  • Politica
  • Specialized Units
  • Hostels & Canteens
  • University Press
  • Telč Centre
  • UCB Management

  • Rector`s Office
  • Rectorate
  • Other Units
  • Archive
  • Language Centre
  • International Studies
  • Disabled Students
  • Technology Transfer
  • Biostatistics
  • Mendel Museum
  • CERIT
  • Civic Education
  • Project Team CEITEC

   

Project details

Automated software verification

Project Identification:	GA201/06/1338
Project Period:	1/2006 - 12/2008
Investor:	Czech Science Foundation
Programme / Project Type:	Standard Projects -
MU Faculty/Unit:	Faculty of Informatics MU Investigator: Prof. RNDr. Luboš Brim, CSc.
Field:	IN - Informatika (I - Informatics)
Publications/Results:	more
Keywords:	verification, model-checking, software, components

The main objective of the project is to create a theoretical and methodological base for computer-aided and autotic verification and validation of software systems. The project aims to support the development of methodologies, technologies and tools of software engineering in automatic and computer-aided verification. The project is to contribute to the research into new technologies for a realistic modelling of software systems, including real-time systems, especially with respect to their safety. The aim is to design effective implementations of these models as well as efficient verification technologies based on such models. The project will focus on embedded distributed and parallel systems. Taking into consideration the complexity of verification processes the aim is to design methodologies that will make the maximum possible use of new information technologies, such as parallel and distributed computing and hierarchical memories.