All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Automatic model analysis by state space exploration

Public support

  • Provider

    Czech Science Foundation

  • Programme

    Post-graduate (doctorate) grants

  • Call for proposals

    Postdoktorandské granty 7 (SGA02007GA1PD)

  • Main participants

  • Contest type

    VS - Public tender

  • Contract ID

    201/07/P035

Alternative language

  • Project name in Czech

    Automatická analýza modelů pomocí procházení stavového prostoru

  • Annotation in Czech

    Projekt se zabývá třemi typy modelovacích formalismů: rozšířenými konečnými automaty, systémovými modely a modely založenými na agentech. Aplikace těchto modelů sahají od návrhu a verifikace počítačových systémů až po studium komplexních systémů. Tématemprojektu je automatická analýza těchto modelů technikou procházení stavového prostoru. Tento typ analýzy poskytuje bohatší informace o modelu než simulace, která je pro analýzu běžně používána. Projekt se zaměřuje na studium prakticky používaných modelů,na návrh a evaluaci nových technik a na syntézu a přenos technik vyvinutých v různých aplikačních doménách.

Scientific branches

  • R&D category

    ZV - Basic research

  • CEP classification - main branch

    IN - Informatics

  • CEP - secondary branch

  • CEP - another secondary branch

  • OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)

    10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Completed project evaluation

  • Provider evaluation

    V - Vynikající výsledky projektu (s mezinárodním významem atd.)

  • Project results evaluation

    .

Solution timeline

  • Realization period - beginning

    Jan 1, 2007

  • Realization period - end

    Dec 31, 2009

  • Project status

    U - Finished project

  • Latest support payment

    Apr 22, 2009

Data delivery to CEP

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

  • Data delivery code

    CEP10-GA0-GP-U/03:3

  • Data delivery date

    Mar 1, 2016

Finance

  • Total approved costs

    504 thou. CZK

  • Public financial support

    504 thou. CZK

  • Other public sources

    0 thou. CZK

  • Non public and foreign sources

    0 thou. CZK