Detail publikace

Pattern-Based Verification for Trees

ERLEBACH, P.; ČEŠKA, M.; VOJNAR, T. Pattern-Based Verification for Trees. In Computer Aided Systems Theory - EUROCAST 2007. Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2007. p. 181-182. ISBN: 978-3-540-75866-2.
Název česky
Pattern-Based Verification for Trees
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Erlebach Pavel, Ing., Ph.D.
Češka Milan, prof. RNDr., CSc.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

Pattern-Based Verification, stromy, formální verifikace

Abstrakt

Článek presentuje rozšíření metody verifikace programů s dynamickými datovými strukturami založené na vzorech z lineárních na stromové struktury.

Rok
2007
Strany
181–182
Sborník
Computer Aided Systems Theory - EUROCAST 2007
ISBN
978-3-540-75866-2
Vydavatel
The Universidad de Las Palmas de Gran Canaria
Místo
Las Palmas de Grand Canaria
BibTeX 
@inproceedings{BUT28583,
  author="Pavel {Erlebach} and Milan {Češka} and Tomáš {Vojnar}",
  title="Pattern-Based Verification for Trees",
  booktitle="Computer Aided Systems Theory - EUROCAST 2007",
  year="2007",
  pages="181--182",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Las Palmas de Grand Canaria",
  isbn="978-3-540-75866-2"
}
Nahoru