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

http://iti.mff.cuni.cz/series/files/iti347.pdf

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"
}