Detail publikace

Towards a Systematic Framework for Automatic Pattern-Based Verification of Dynamic Data Structures

ERLEBACH Pavel. Towards a Systematic Framework for Automatic Pattern-Based Verification of Dynamic Data Structures. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Fakulta informatiky MU, 2005, s. 145-154.
Název česky
Towards a Systematic Framework for Automatic Pattern-Based Verification of Dynamic Data Structures
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Erlebach Pavel, Ing. (UITS FIT VUT)
Klíčová slova

pattern-based verification, infinite state space, abstraction

Abstrakt

This paper gives a theoretical support to pattern-based verification, i.e. the basic notions and their properties are formalized, their practical value is shown, the class of structures, which pattern-based verification can handle, is specified and at the end of the paper some proofs are shown, which demonstrates usability of this technique. 

Rok
2005
Strany
145-154
Sborník
PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Konference
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS 2005, Znojmo, CZ
Vydavatel
Fakulta informatiky MU
Místo
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB7979,
   author = "Pavel Erlebach",
   title = "Towards a Systematic Framework for Automatic Pattern-Based Verification of Dynamic Data Structures",
   pages = "145--154",
   booktitle = "PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
   year = 2005,
   location = "Brno, CZ",
   publisher = "Faculty of Informatics MU",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7979"
}
Nahoru