"Automatick\u00E1 verifikace program\u016F s dynamick\u00FDmi datov\u00FDmi strukturami"@cs . "Inova\u010Dn\u00ED podnik\u00E1n\u00ED & transfer technologi\u00ED" . "Hol\u00EDk, Luk\u00E1\u0161" . "1" . "P(GA102/04/0780), P(GA102/07/0322), P(GD102/05/H050), Z(MSM0021630528)" . . "Formal Verification, Model Checking, Programs with Dynamic Data Structures, Finite Automata, ARTMC, Pattern-Based Verification, Termination Checking
"@en . . . "Bouajjani, Ahmed" . . "Habermehl, Peter" . . "Automatick\u00E1 verifikace program\u016F s dynamick\u00FDmi datov\u00FDmi strukturami" . . . . . . "Vojnar, Tom\u00E1\u0161" . . "5"^^ . . . "26230" . "Automatic Verification of Progams with Dynamic Data Structures"@en . "Touili, Tayssir" . . . "RIV/00216305:26230/08:PU76688!RIV10-MSM-26230___" . "Automatick\u00E1 verifikace program\u016F s dynamick\u00FDmi datov\u00FDmi strukturami"@cs . "357420" . "9"^^ . . "The paper introduces the basic topic, conception and results of a successful international research group addressing verification of programs with dynamic data structures.
"@en . . . . . "\u010Cl\u00E1nek p\u0159edstavuje z\u00E1kladn\u00ED t\u00E9ma, koncepci a v\u00FDsledky \u00FAsp\u011B\u0161n\u00E9 mezin\u00E1rodn\u00ED v\u00FDzkumn\u00E9 skupiny zab\u00FDvaj\u00EDc\u00ED se verifikac\u00ED program\u016F s dynamick\u00FDmi datov\u00FDmi strukturami."@cs . "1210-4612" . . . "\u010Cl\u00E1nek p\u0159edstavuje z\u00E1kladn\u00ED t\u00E9ma, koncepci a v\u00FDsledky \u00FAsp\u011B\u0161n\u00E9 mezin\u00E1rodn\u00ED v\u00FDzkumn\u00E9 skupiny zab\u00FDvaj\u00EDc\u00ED se verifikac\u00ED program\u016F s dynamick\u00FDmi datov\u00FDmi strukturami." . "Rogalewicz, Adam" . "CZ - \u010Cesk\u00E1 republika" . "Erlebach, Pavel" . . "Automatick\u00E1 verifikace program\u016F s dynamick\u00FDmi datov\u00FDmi strukturami" . . "2008" . . "\u010Ce\u0161ka, Milan" . "RIV/00216305:26230/08:PU76688" . "2"^^ . "[FD1508A682F4]" . "Moro, Pierre" . "Automatic Verification of Progams with Dynamic Data Structures"@en . . .