Publication Details

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. Automatická verifikace programů s dynamickými datovými strukturami. Inovační podnikání & transfer technologií, 2008, roč. 2008, č. 1, s. 21-22. ISSN: 1210-4612.
English title
Automatic Verification of Progams with Dynamic Data Structures
Type
journal article
Language
Czech
Authors
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Češka Milan, prof. RNDr., CSc.
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS)
Erlebach Pavel, Ing., Ph.D.
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Bouajjani Ahmed
Habermehl Peter
Touili Tayssir, Dr., Ph.D.
Moro Pierre
URL
Keywords

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

Abstract

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

Published
2008
Pages
21–22
Journal
Inovační podnikání & transfer technologií, vol. 2008, no. 1, ISSN 1210-4612
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"
}
Back to top