Faculty of Information Technology, BUT

Publication Details

Stromové automaty s omezeními v symbolické verifikaci programů manipulujících vyvážené stromy

VOJNAR Tomáš. Stromové automaty s omezeními v symbolické verifikaci programů manipulujících vyvážené stromy. Současné trendy teoretické informatiky. ITI Series 2007-347. Praha, 2007.
English title
Tree Automata with Size Constraints in Symbolic Verification of Programs Manipulating Balanced Trees
Type
abstract
Language
czech
Authors
URL
Keywords
tree automata, Presburger constrains, formal verification, symbolic verification
Abstract
This extended abstract summarizes a lecture on a new class of tree automata with size constraints and on their use in symbolic verification of programs manipulating balanced tree structures.
Published
2007
Pages
38-39
Book
Současné trendy teoretické informatiky
Series
ITI Series 2007-347
Conference
STTI'07 -- Současné trendy teoretické informatiky, Institut teoretické informatiky (ITI) Matematicko-fyzikální fakulty Univerzity Karlovy v Praze, CZ
Place
Praha, CZ
Back to top