Publication Details

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: Faculty of Information Technology BUT, 2006, pp. 198-205. ISBN 80-214-3287-X.
Czech title
Verifikace komplexních dynamických datových struktur za použitím abstraktního regulárního stromového model checkingu - Implementační detaily
Type
conference paper
Language
english
Authors
URL
Keywords

Formal verification, symbolic verification, shape analysis, dynamic data structures, tree automata.

Published
2006
Pages
198-205
Proceedings
Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Conference
2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS'06, Mikulov, CZ
ISBN
80-214-3287-X
Publisher
Faculty of Information Technology BUT
Place
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"
}
Back to top