• česky
  • english
Přejít na obsah | Přejít na menu

Informační systém výzkumu, experimentálního vývoje a inovací
výzkum, vývoj a inovace podporované z veřejných prostředků ČR

    • Poskytovatelé podpory ve výzkumu, vývoji a inovacích (RPO)
    • Programy výzkumu, vývoje a inovací (RPG)
    • Subjekty ve výzkumu, vývoji a inovacích (RPR)
  • Veřejné soutěže ve výzkumu, vývoji a inovacích (VES)
  • Projekty výzkumu, vývoje a inovací (CEP)
  • Výzkumné záměry (CEZ)
  • Výsledky výzkumu, vývoje a inovací (RIV)

RIV/00216305:26230/08:PU76688 - Automatická verifikace programů s dynamickými datovými strukturami (2008)

Údaje o výsledku
Identifikační kódRIV/00216305:26230/08:PU76688
Název v původním jazyceAutomatická verifikace programů s dynamickými datovými strukturami
DruhJ - Článek v odborném periodiku
Jazykcze - čeština
OborJC - Počítačový hardware a software
Rok uplatnění2008
Kód důvěrnosti údajůS - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
Počet výskytů výsledku4
Tvůrci výsledku
Počet tvůrců celkem9
Počet domácích tvůrců5
TvůrceVojnar Tomáš (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku)
TvůrceČeška Milan (státní příslušnost: CZ - Česká republika; A - domácí tvůrce)
TvůrceRogalewicz Adam (státní příslušnost: CZ - Česká republika; A - domácí tvůrce)
TvůrceErlebach Pavel (státní příslušnost: CZ - Česká republika; A - domácí tvůrce)
TvůrceHolík Lukáš (státní příslušnost: CZ - Česká republika; A - domácí tvůrce)
TvůrceBouajjani Ahmed (státní příslušnost: FR - Francouzská republika)
TvůrceHabermehl Peter (státní příslušnost: FR - Francouzská republika)
TvůrceTouili Tayssir (státní příslušnost: FR - Francouzská republika)
TvůrceMoro Pierre (státní příslušnost: FR - Francouzská republika)
Údaje blíže specifikující výsledek
Popis v původním jazyceČ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ů s dynamickými datovými strukturami.
Klíčová slovaFormal Verification, Model Checking, Programs with Dynamic Data Structures, Finite Automata, ARTMC, Pattern-Based Verification, Termination Checking<br>
Název periodkaInovační podnikání & transfer technologií
ISSN1210-4612
Svazek periodika2008
Číslo periodika v rámci uvedeného svazku1
Stát vydavatele periodikaCZ - Česká republika
Počet stran výsledku2
Údaje o tomto záznamu o výsledku
PředkladatelVysoké učení technické v Brně / Fakulta informačních technologií
DodavatelGA0 - Grantová agentura České republiky (GA ČR)
Rok sběru2010
Systémové označení dodávky datRIV10-GA0-26230___/02:2
Datum dodání25.5.2010
SpecifikaceRIV/00216305:26230/08:PU76688!RIV10-GA0-26230___
Kontrolní kód[AD13FE3661A9]
Další výskyty tohoto výsledku od stejného předkladatele
Dodáno GA ČR v roce 2009Záznam s identifikačním kódem RIV/00216305:26230/08:PU76688 v dodávce dat RIV09-GA0-26230___/02:2
Dodáno MŠMT v roce 2009Záznam s identifikačním kódem RIV/00216305:26230/08:PU76688 v dodávce dat RIV09-MSM-26230___/03:3
Dodáno MŠMT v roce 2010Záznam s identifikačním kódem RIV/00216305:26230/08:PU76688 v dodávce dat RIV10-MSM-26230___/01:1
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
ProjektGA102/04/0780 - Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů (2004-2006, GA0/GA)
ProjektGA102/07/0322 - Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů (2007-2009, GA0/GA)
ProjektGD102/05/H050 - Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů (2005-2008, GA0/GD)
Výzkumný záměrMSM0021630528 - Výzkum informačních technologií z hlediska bezpečnosti (2007-2013, MSM)
Tuto aplikaci pro Radu pro výzkum, vývoj a inovace provozuje Výpočetní a informační centrum Českého vysokého učení technického v Praze. Vyvíjí InfoScience Praha s.r.o.. Verze aplikace 1.6.15. Datové schéma ISVAV_WEB5_00318. Podpora uživatelů na e-mailové adrese podpora (zavináč) isvav (tečka) cz nebo telefonním čísle 224 234 797 (v pracovních dnech 8-16 hod.).