Detail publikace

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

ERLEBACH, P. Towards a Systematic Framework for Automatic Pattern-Based Verification of Dynamic Data Structures. PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2005. p. 145-154. ISBN: 0.
Název česky
Towards a Systematic Framework for Automatic Pattern-Based Verification of Dynamic Data Structures
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Erlebach Pavel, Ing., Ph.D.
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
Vydavatel
Faculty of Informatics MU
Místo
Brno
BibTeX 
@inproceedings{BUT18289,
  author="Pavel {Erlebach}",
  title="Towards a Systematic Framework for Automatic Pattern-Based Verification of Dynamic Data Structures",
  booktitle="PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2005",
  pages="145--154",
  publisher="Faculty of Informatics MU",
  address="Brno",
  isbn="0"
}
Nahoru