Detail publikace

Symbolic Data Structures for Parametric Verification

MATOUŠEK, P.

Originální název

Symbolic Data Structures for Parametric Verification

Typ

dizertace

Jazyk

angličtina

Originální 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

Autoři

MATOUŠEK, P.

Vydáno

18. 10. 2005

Nakladatel

Faculty of Information Technology BUT

Místo

Brno

Strany počet

106

URL

https://www.fit.vut.cz/research/publication/7945/

BibTex

@phdthesis{BUT66771,
  author="Petr {Matoušek}",
  title="Symbolic Data Structures for Parametric Verification",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  pages="106",
  year="2005",
  url="https://www.fit.vut.cz/research/publication/7945/"
}

Dokumenty

disertace.pdf