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

English abstract

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

Keywords

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

Key words in English

Formal Verification, Model Checking, Programs with Dynamic Data Structures, 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"
}