Formal methods for analysis and verification of complex systems
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 13 (SGA02010GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
P202-10-1469
Alternative language
Project name in Czech
Formální metody pro analýzu a verifikaci komplexních systémů
Annotation in Czech
Ve formální verifikaci se pomocí matematických metod dokazuje, že daný systém splňuje požadované vlastnosti. Verifikační a analytické metody jsou obvykle tvořeny na míru dané třídě systémů, která je charakterizována nějakou specifickou vlastností jako například náhodnost, závislost na reálném čase, počet stavů, apod. Reálné systémy jsou ale obvykle komplexní a kombinují více těchto charakteristických vlastností. Naším cílem je studovat verifikační a analytické metody pro systémy, které kombinují náhodnost s dalšími aspekty chování, jako je nedeterministická volba, reálný čas, interakce, apod. Speciální pozornost bude věnována systémům s nekonečně mnoha stavy. Studovány budou vlastnosti formálních modelů těchto systémů, například stochastických her s reálným časem, pravděpodobnostních zásobníkových automatů, systémů s čítači, popisných jazyků komunikačních protokolů, apod. Mezi cíle výzkumu patří také návrh nových formalismů vhodných pro specifikaci vlastností takových systémů a analýza rozhodnutelnosti a složitosti příslušných verifikačních problémů.
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
Project successfully investigated formal properties of time stochastic systems, infinite-state stochastic processes and games and probabilistic temporal logics. Project accomplished planned goals according to the plan.The project resulted in an impressive number and quality of publications. Project supported involvement of graduate students. No flaws have been identified.
Solution timeline
Realization period - beginning
Jan 1, 2010
Realization period - end
Dec 31, 2014
Project status
U - Finished project
Latest support payment
Mar 31, 2014
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
CEP15-GA0-GA-U/01:1
Data delivery date
May 22, 2015
Finance
Total approved costs
7,332 thou. CZK
Public financial support
7,332 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK