Detail publikace

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

ROGALEWICZ Adam. Abstract Regular Model Checking of Complex Dynamic Data Structures - Implementation Details. In: Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Fakulta informačních technologií VUT v Brně, 2006, s. 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
angličtina
Autoři
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
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
Konference
2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS'06, Mikulov, CZ
ISBN
80-214-3287-X
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB8197,
   author = "Adam Rogalewicz",
   title = "Abstract Regular Model Checking of Complex Dynamic Data Structures - Implementation Details",
   pages = "198--205",
   booktitle = "Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
   year = 2006,
   location = "Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   ISBN = "80-214-3287-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8197"
}
Nahoru