Detail výsledku

Automatická verifikace programů s dynamickými datovými strukturami

VOJNAR, T.; ČEŠKA, M.; ROGALEWICZ, A.; ERLEBACH, P.; HOLÍK, L.; BOUAJJANI, A.; HABERMEHL, P.; TOUILI, T.; MORO, P. Automatická verifikace programů s dynamickými datovými strukturami. Inovační podnikání & transfer technologií, 2008, roč. 2008, č. 1, s. 21-22. ISSN: 1210-4612.
Název anglicky
Automatic Verification of Progams with Dynamic Data Structures
Typ
článek v časopise
Jazyk
česky
Autoři
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Češka Milan, prof. RNDr., CSc., UITS (FIT)
Rogalewicz Adam, doc. Mgr., Ph.D.
Erlebach Pavel, Ing., Ph.D., FIT (FIT), UITS (FIT)
Holík Lukáš, doc. Mgr., Ph.D., FIT (FIT), UITS (FIT)
Bouajjani Ahmed
Habermehl Peter
Touili Tayssir, Dr., Ph.D.
Moro Pierre
Abstrakt

Článek představuje základní téma, koncepci a výsledky úspěšnémezinárodní výzkumné skupiny zabývající se verifikací programů sdynamickými datovými strukturami.

Abstrakt anglicky

The paper introduces the basic topic, conception and results of asuccessful international research group addressing verification ofprograms with dynamic data structures.

Klíčová slova

formální verifikace, model checking, programy s dynamickými datovýmistrukturami, konečné automaty, verifikace založená na vyhledávánívzorů, verifikce konečnosti

Klíčová slova anglicky

Formal Verification, Model Checking, Programs with Dynamic DataStructures, Finite Automata, ARTMC, Pattern-Based Verification,Termination Checking

URL
Rok
2008
Strany
21–22
Časopis
Inovační podnikání & transfer technologií, roč. 2008, č. 1, ISSN 1210-4612
BibTeX 
@article{BUT48141,
  author="Tomáš {Vojnar} and Milan {Češka} and Adam {Rogalewicz} and Pavel {Erlebach} and Lukáš {Holík} and Ahmed {Bouajjani} and Peter {Habermehl} and Tayssir {Touili} and Pierre {Moro}",
  title="Automatická verifikace programů s dynamickými datovými strukturami",
  journal="Inovační podnikání & transfer technologií",
  year="2008",
  volume="2008",
  number="1",
  pages="21--22",
  issn="1210-4612",
  url="http://www.aipcr.cz/doc/IPTT.pdf"
}
Projekty
Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů, GAČR, Standardní projekty, GA102/04/0780, zahájení: 2004-01-01, ukončení: 2006-12-31, ukončen
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, zahájení: 2005-01-01, ukončení: 2008-12-31, ukončen
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru