Detail publikace

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

VOJNAR Tomáš. Stromové automaty s omezeními v symbolické verifikaci programů manipulujících vyvážené stromy. Současné trendy teoretické informatiky. ITI Series 2007-347. Praha, 2007.
Název anglicky
Tree Automata with Size Constraints in Symbolic Verification of Programs Manipulating Balanced Trees
Typ
abstrakt
Jazyk
čeština
Autoři
URL
Klíčová slova

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

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.

Rok
2007
Strany
38-39
Kniha
Současné trendy teoretické informatiky
Řada
ITI Series 2007-347
Konference
STTI'07 -- Současné trendy teoretické informatiky, Institut teoretické informatiky (ITI) Matematicko-fyzikální fakulty Univerzity Karlovy v Praze, CZ
Místo
Praha, CZ
Nahoru