Článek v časopise

 
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, In: Inovační podnikání & transfer technologií, roč. 2008, č. 1, CZ, s. 21-22, ISSN 1210-4612
Jazyk publikace:čeština
Název publikace:Automatická verifikace programů s dynamickými datovými strukturami
Název (en):Automatic Verification of Progams with Dynamic Data Structures
Strany:21-22
Místo vydání:CZ
Rok:2008
Časopis:Inovační podnikání & transfer technologií, roč. 2008, č. 1, CZ
ISSN:1210-4612
URL:http://www.aipcr.cz/doc/IPTT.pdf [PDF]
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
Anotace
Č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.
BibTeX:
@ARTICLE{
   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},
   pages = {21--22},
   journal = {Inovační podnikání & transfer technologií},
   volume = {2008},
   number = {1},
   year = {2008},
   ISSN = {1210-4612},
   language = {czech},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8588}
}