Detail výsledku

Pattern-based Verification for Trees

ERLEBACH, P.; VOJNAR, T.; ČEŠKA, M. Pattern-based Verification for Trees. Computer Aided Systems Theory. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2007. p. 488-496. ISBN: 978-3-540-75866-2.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Erlebach Pavel, Ing., Ph.D., FIT (FIT), UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Češka Milan, prof. RNDr., CSc., UITS (FIT)
Abstrakt

Pattern-based verification trying to abstract away the concrete numberof repeated memory structures is one of the approaches that haverecently been proposed for verification of programs using dynamic datastructures linked with pointers. It proved to be very efficient andpromising on extended linear data structures. In this paper, weoverview some possibilities how to extend this approach to programsover tree structures.

Klíčová slova

formal verification, program analysis, shape analysis, dynamic data structures, repeated patterns

Rok
2007
Strany
488–496
Sborník
Computer Aided Systems Theory
Řada
Lecture Notes in Computer Science
Svazek
4739
Konference
11th International Conference on Computer Aided Systems Theory and Technology, EUROCAST 2007
ISBN
978-3-540-75866-2
Vydavatel
Springer Verlag
Místo
Berlin
BibTeX 
@inproceedings{BUT30896,
  author="Pavel {Erlebach} and Tomáš {Vojnar} and Milan {Češka}",
  title="Pattern-based Verification for Trees",
  booktitle="Computer Aided Systems Theory",
  year="2007",
  series="Lecture Notes in Computer Science",
  volume="4739",
  pages="488--496",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-540-75866-2"
}
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
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru