Detail publikace

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)
Češka Milan, prof. RNDr., CSc.
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Erlebach Pavel, Ing., Ph.D.
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Bouajjani Ahmed
Habermehl Peter
Touili Tayssir, Dr., Ph.D.
Moro Pierre
URL
Klíčová slova

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

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ů s dynamickými datovými strukturami.

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"
}
Nahoru