Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
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
článek ve sborníku ve WoS nebo Scopus
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
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
@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" }