Detail publikace

Abstract Regular Model Checking of Complex Dynamic Data Structures - Implementation Details

ROGALEWICZ, A. Abstract Regular Model Checking of Complex Dynamic Data Structures - Implementation Details. In Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Information Technology BUT, 2006. p. 198-205. ISBN: 80-214-3287-X.
Název česky
Verifikace komplexních dynamických datových struktur za použitím abstraktního regulárního stromového model checkingu - Implementační detaily
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
URL
Klíčová slova

Formální verifikace, symbolická verifikace, dynamicé datové struktury, stromové automaty

Abstrakt

Článek popisuje některé implementační detaily prototypového nástroje pro verifikace programů pracujících s komplexními dynamickými datovými strukturami.

Rok
2006
Strany
198–205
Sborník
Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
80-214-3287-X
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@inproceedings{BUT22279,
  author="Adam {Rogalewicz}",
  title="Abstract Regular Model Checking of Complex Dynamic Data Structures - Implementation Details",
  booktitle="Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2006",
  pages="198--205",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  isbn="80-214-3287-X"
}
Nahoru