Journal article

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í. 2008, vol. 2008, no. 1, pp. 21-22. ISSN 1210-4612.
Publication language:czech
Original title:Automatická verifikace programů s dynamickými datovými strukturami
Title (en):Automatic Verification of Progams with Dynamic Data Structures
Pages:21-22
Place:CZ
Year:2008
Journal:Inovační podnikání & transfer technologií, Vol. 2008, No. 1, CZ
ISSN:1210-4612
URL:http://www.aipcr.cz/doc/IPTT.pdf [PDF]
Keywords
Formal Verification, Model Checking, Programs with Dynamic Data Structures, Finite Automata, ARTMC, Pattern-Based Verification, Termination Checking
Annotation
The paper introduces the basic topic, conception and results of a successful international research group addressing verification of programs with dynamic data structures.
BibTeX:
@ARTICLE{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=8588}
}

Your IPv4 address: 54.162.105.241
Switch to IPv6 connection

DNSSEC [dnssec]