. "26230" . . "RIV/00216305:26230/06:PU66984" . . "Abstract Regular Model Checking of Complex Dynamic Data Structures - Implementation Details"@en . . . "[2E5FE9756154]" . . "Brno" . . . "Rogalewicz, Adam" . "\u010Cl\u00E1nek popisuje n\u011Bkter\u00E9 implementa\u010Dn\u00ED detaily prototypov\u00E9ho n\u00E1stroje pro verifikace program\u016F pracuj\u00EDc\u00EDch s komplexn\u00EDmi dynamick\u00FDmi datov\u00FDmi strukturami.
"@cs . . "Abstract Regular Model Checking of Complex Dynamic Data Structures - Implementation Details" . "1"^^ . "Mikulov" . "2006-10-27+02:00"^^ . . . "Formal verification, symbolic verification, shape analysis, dynamic data structures, tree automata."@en . "1"^^ . . "This article describes some implementation details used in our prototype tool for verification of programs manipulating dynamic data structures.
This tool is based on the automata framework. We encode data structures
into trees and sets of trees as finite tree automata. The program behaviour is encoded as a tree transducer. Then the abstract regular tree model checking technique can be applied to compute a set of all reachable configurations.

" . . . "8"^^ . . "463960" . "This article describes some implementation details used in our prototype tool for verification of programs manipulating dynamic data structures.
This tool is based on the automata framework. We encode data structures
into trees and sets of trees as finite tree automata. The program behaviour is encoded as a tree transducer. Then the abstract regular tree model checking technique can be applied to compute a set of all reachable configurations.

"@en . "P(GD102/05/H050)" . "Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science" . . "80-214-3287-X" . . "198-205" . "Abstract Regular Model Checking of Complex Dynamic Data Structures - Implementation Details" . "RIV/00216305:26230/06:PU66984!RIV07-GA0-26230___" . "Abstract Regular Model Checking of Complex Dynamic Data Structures - Implementation Details"@en . "Vysok\u00E9 u\u010Den\u00ED technick\u00E9 v Brn\u011B. Fakulta informa\u010Dn\u00EDch technologi\u00ED" . "Verifikace komplexn\u00EDch dynamick\u00FDch datov\u00FDch struktur za pou\u017Eit\u00EDm abstraktn\u00EDho regul\u00E1rn\u00EDho stromov\u00E9ho model checkingu - Implementa\u010Dn\u00ED detaily"@cs . "Verifikace komplexn\u00EDch dynamick\u00FDch datov\u00FDch struktur za pou\u017Eit\u00EDm abstraktn\u00EDho regul\u00E1rn\u00EDho stromov\u00E9ho model checkingu - Implementa\u010Dn\u00ED detaily"@cs . .