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

Anglický název

Automatic Verification of Progams with Dynamic Data Structures

Typ

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

Jazyk

čeština

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.

Anglický abstrakt

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

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

Klíčová slova v angličtině

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

Autoři

VOJNAR, T.; ČEŠKA, M.; ROGALEWICZ, A.; ERLEBACH, P.; HOLÍK, L.; BOUAJJANI, A.; HABERMEHL, P.; TOUILI, T.; MORO, P.

Rok RIV

2008

Vydáno

25. 3. 2008

ISSN

1210-4612

Periodikum

Inovační podnikání & transfer technologií

Ročník

2008

Číslo

1

Stát

Česká republika

Strany od

21

Strany do

22

Strany počet

2

URL

http://www.aipcr.cz/doc/IPTT.pdf

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