"ARTMC-v1" . . "ARTMC - Abstract Regular Tree Model Checking" . . "ARTMC - Abstract Regular Tree Model Checking"@en . . "Vojnar, Tom\u00E1\u0161" . . "Po\u017Eadavky pro instalaci a spu\u0161t\u011Bn\u00ED: POSIX OS, Python, Java 1.5, Mona 1.4" . "ARTMC - Abstract Regular Tree Model Checking" . "26230" . . "ARTMC - Abstract Regular Tree Model Checking"@en . . "http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc.html" . . . "RIV/00216305:26230/07:PR23013" . . . . "Formal verification, shape analysis"@en . . . "ARTMC je prototypov\u00FD n\u00E1stroj ur\u010Den\u00FD k verifikaci program\u016F pracuj\u00EDc\u00EDch s dynamick\u00FDmi datov\u00FDmi strukturami. Je zalo\u017Een na obecn\u00E9 technice pro verifikace - %22abstraktn\u00EDm regul\u00E1rn\u00EDm model checkingu%22."@cs . . "The ARTMC tool is a prototype implementation of the technique for verification of programs manipulating dynamic data structures. It is based on the generic model-checking technique %22Abstract regular tree model checking%22."@en . . . "P(GD102/05/H050), Z(MSM0021630528)" . "2"^^ . . "RIV/00216305:26230/07:PR23013!RIV08-MSM-26230___" . "Voln\u011B \u0161i\u0159iteln\u00FD software poskytovan\u00FD pod licenc\u00ED GNU GPL." . "2"^^ . "Rogalewicz, Adam" . "The ARTMC tool is a prototype implementation of the technique for verification of programs manipulating dynamic data structures. It is based on the generic model-checking technique %22Abstract regular tree model checking%22." . . . "410769" . "[E37B176CB70F]" . . . "ARTMC - Abstraktn\u00ED regul\u00E1rn\u00ED stromov\u00FD model checking"@cs . "ARTMC - Abstraktn\u00ED regul\u00E1rn\u00ED stromov\u00FD model checking"@cs .