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

Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)

URL

http://iti.mff.cuni.cz/series/files/iti347.pdf PDF

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