Detail publikace

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

Typ

abstrakt

Jazyk

čeština

Originální abstrakt

Tento rozšířený abstrakt shrnuje přednášku o nové třídě stromových automatů s omezeními a o jejich využ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 constraints and on their use in symbolic verification of programs manipulating balanced 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.

Rok RIV

2007

Vydáno

14. 8. 2007

Místo

Praha

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