Publication Details

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

VOJNAR Tomáš, ČEŠKA Milan, ROGALEWICZ Adam, ERLEBACH Pavel, HOLÍK Lukáš, BOUAJJANI Ahmed, HABERMEHL Peter, TOUILI Tayssir and MORO Pierre. Automatická verifikace programů s dynamickými datovými strukturami. Inovační podnikání & transfer technologií, vol. 2008, no. 1, pp. 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 FIT BUT)
Češka Milan, prof. RNDr., CSc. (DITS FIT BUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS FIT BUT)
Erlebach Pavel, Ing. (DITS FIT BUT)
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT)
Bouajjani Ahmed (UPAR7)
Habermehl Peter (UPAR7)
Touili Tayssir (LIAFA UP7/CNRS)
Moro Pierre (LIAFA UP7/CNRS)
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{FITPUB8588,
   author = "Tom\'{a}\v{s} Vojnar and Milan \v{C}e\v{s}ka and Adam Rogalewicz and Pavel Erlebach and Luk\'{a}\v{s} Hol\'{i}k and Ahmed Bouajjani and Peter Habermehl and Tayssir Touili and Pierre Moro",
   title = "Automatick\'{a} verifikace program\r{u} s dynamick\'{y}mi datov\'{y}mi strukturami",
   pages = "21--22",
   journal = "Inova\v{c}n\'{i} podnik\'{a}n\'{i} \& transfer technologi\'{i}",
   volume = 2008,
   number = 1,
   year = 2008,
   ISSN = "1210-4612",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/8588"
}
Back to top