Result Details

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.
English title
Tree Automata with Size Constraints in Symbolic Verification of Programs Manipulating Balanced Trees
Type
abstract
Language
Czech
Authors
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Abstract

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.

English abstract

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.

Keywords

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

English keywords

tree automata, Presburger constrains, formal verification, symbolic verification

URL
Published
2007
Pages
38–39
Book
Současné trendy teoretické informatiky
Series
ITI Series 2007-347
Conference
STTI'07 -- Současné trendy teoretické informatiky
Place
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"
}
Projects
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, Standardní projekty, GA102/07/0322, start: 2007-01-01, end: 2009-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top