Detail publikačního výsledku

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

VOJNAR, T.

Originální název

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

Anglický název

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

Druh

Abstrakt

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

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

Klíčová slova v angličtině

tree automata, Presburger constrains, formal verification, symbolic verification

Autoři

VOJNAR, T.

Vydáno

14.08.2007

Místo

Praha

Kniha

Současné trendy teoretické informatiky

Edice

ITI Series 2007-347

Strany od

38

Strany do

39

Strany počet

2

URL

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

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"
}