Detail výsledku

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

ROGALEWICZ, A. Abstract Regular Model Checking of Complex Dynamic Data Structures - Implementation Details. 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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Rogalewicz Adam, doc. Mgr., Ph.D., FIT (FIT), UITS (FIT)
Abstrakt

This article describes some implementation details used in ourprototype tool for verification of programs manipulating dynamic datastructures.
This tool is based on the automata framework. We encode data structures
into trees and sets of trees as finite tree automata. The programbehaviour is encoded as a tree transducer. Then the abstract regulartree model checking technique can be applied to compute a set of allreachable configurations.

Klíčová slova

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

URL
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
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",
  url="http://www.fit.vutbr.cz/~rogalew/pubs/artmc_impl.pdf"
}
Projekty
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, zahájení: 2005-01-01, ukončení: 2008-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru