Publication detail

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.

Original Title

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

English Title

Automatic Verification of Progams with Dynamic Data Structures

Type

journal article - other

Language

Czech

Original Abstract

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

English abstract

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

Keywords

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

Key words in English

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

Authors

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

RIV year

2008

Released

25. 3. 2008

ISBN

1210-4612

Periodical

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

Year of study

2008

Number

1

State

Czech Republic

Pages from

21

Pages to

22

Pages count

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