Detail publikačního výsledku

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

VOJNAR, T.

Original Title

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

English Title

Tree Automata with Size Constraints in Symbolic Verification of Programs Manipulating Balanced Trees

Type

Abstract

Original Abstract

Tento rozšířený abstrakt shrnuje přednášku o nové třídě stromových automatů s omezeními a o jejichvyužití v symbolické verifikaci programů manipulujících vyvážené stromy.

English abstract

This extended abstract summarizes a lecture on a new class of tree automata with size constraintsand on their use in symbolic verification of programs manipulatingbalanced tree structures.

Keywords

stromové automaty, presburgerovská omezení, formální verifikace, symbolická verifikace

Key words in English

tree automata, Presburger constrains, formal verification, symbolic verification

Authors

VOJNAR, T.

Released

14.08.2007

Location

Praha

Book

Současné trendy teoretické informatiky

Edition

ITI Series 2007-347

Pages from

38

Pages to

39

Pages count

2

URL

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

Full text in the Digital Library

http://hdl.handle.net/

BibTex

@misc{BUT26106,
  author="Tomáš {Vojnar}",
  title="Stromové automaty s omezeními v symbolické verifikaci programů manipulujících vyvážené stromy",
  booktitle="Současné trendy teoretické informatiky",
  year="2007",
  series="ITI Series 2007-347",
  pages="38--39",
  address="Praha",
  url="http://iti.mff.cuni.cz/series/files/iti347.pdf",
  note="Abstract"
}