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

Anglický abstrakt

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

Klíčová slova

formální verifikace, model checking, programy s dynamickými datovýmistrukturami, 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 DataStructures, 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"
}