Publication detail

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

conference paper

Language

Czech

Original Abstract

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.

English 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.

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.

RIV year

2007

Released

14. 8. 2007

Location

Praha

Pages from

38

Pages to

39

Pages count

2

URL

BibTex

@inproceedings{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"
}