Detail výsledku

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

VOJNAR, T. 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. s. 38-39.
Název anglicky
Tree Automata with Size Constraints in Symbolic Verification of Programs Manipulating Balanced Trees
Typ
abstrakt
Jazyk
česky
Autoři
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Abstrakt

Tento rozšířený abstrakt shrnuje přednášku o nové třídě stromových automatů s omezeními a o jejichvyužití v symbolické verifikaci programů manipulujících vyvážené stromy.

Abstrakt anglicky

This extended abstract summarizes a lecture on a new class of tree automata with size constraintsand on their use in symbolic verification of programs manipulatingbalanced tree structures.

Klíčová slova

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

Klíčová slova anglicky

tree automata, Presburger constrains, formal verification, symbolic verification

URL
Rok
2007
Strany
38–39
Kniha
Současné trendy teoretické informatiky
Řada
ITI Series 2007-347
Konference
STTI'07 -- Současné trendy teoretické informatiky
Místo
Praha
BibTeX 
@misc{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",
  note="Abstract"
}
Projekty
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru