Detail výsledku

Symbolic Data Structures for Parametric Verification

MATOUŠEK, P. Symbolic Data Structures for Parametric Verification. Brno: Faculty of Information Technology BUT, 2005. 106 p.
Typ
dizertace
Jazyk
angličtina
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A., UIFS (FIT)
Abstrakt

Analysis of parametric systems mostly depend on the efficient data
structure that is used to express behaviour of the system. In this work
we introduce a new data structure called parameterized hypercubes based
on intevals with parameters, and operations needed for verification.
This structure makes operations over parametric counter automata
simpler in comparison with other approaches (parametric DBMs) and it
extends expressivity of constrains on transitions.

We discuss
here fundamentals of modelling, analysis, and verification of
parameterized systems. We introduce a methodology for modelling
communicating systems that include three basic components -
environment, buffers and executive units.

Klíčová slova

parametric verification, symbolic data structures, formal methods

Rok
2005
Strany
106
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@misc{BUT66771,
  author="Petr {Matoušek}",
  title="Symbolic Data Structures for Parametric Verification",
  year="2005",
  pages="106",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  url="https://www.fit.vut.cz/research/publication/7945/"
}
Soubory
Projekty
Optická síť národního výzkumu a její nové aplikace, MŠMT, Výzkumná centra (2000-2004), MSM6383917201, zahájení: 2004-01-01, ukončení: 2010-12-31, ukončen
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru