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.

Originální název

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

Český název

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

Typ

článek v časopise - ostatní, Jost

Jazyk

cs

Originální 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.

Český 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.

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

Rok RIV

2008

Vydáno

25.03.2008

Nakladatel

NEUVEDEN

Místo

NEUVEDEN

Strany od

21

Strany do

22

Strany počet

2

URL

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",
  annote="Č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.",
  address="NEUVEDEN",
  chapter="48141",
  edition="NEUVEDEN",
  howpublished="print",
  institution="NEUVEDEN",
  journal="Inovační podnikání & transfer technologií",
  number="1",
  volume="2008",
  year="2008",
  month="march",
  pages="21--22",
  publisher="NEUVEDEN",
  type="journal article - other"
}