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
Český název
Stromové automaty s omezeními v symbolické verifikaci programů manipulujících vyvážené stromy
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
cs
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.
Český 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.
Klíčová slova
stromové automaty, presburgerovská omezení, formální verifikace, symbolická verifikace
Rok RIV
2007
Vydáno
14.08.2007
Místo
Praha
Strany od
38
Strany do
39
Strany počet
2
URL
Dokumenty
BibTex
@inproceedings{BUT26106,
author="Tomáš {Vojnar}",
title="Stromové automaty s omezeními v symbolické verifikaci programů manipulujících vyvážené stromy",
annote="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.
",
booktitle="Současné trendy teoretické informatiky",
chapter="26106",
edition="ITI Series 2007-347",
year="2007",
month="august",
pages="38--39",
type="conference paper"
}