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
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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