Detail publikace

Experience from Verifying in TVLA

ERLEBACH, P. Experience from Verifying in TVLA. In EEICT'05. volume 3. Brno: Faculty of Electrical Engineering and Communication BUT, 2005. p. 648-652. ISBN: 80-214-2890-2.
Název česky
Experience from Verifying in TVLA
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Erlebach Pavel, Ing., Ph.D.
Klíčová slova

TVLA, InsertBST, formální verifikace, Bakery algoritmus

Abstrakt

Tato práce se zaměřuje na analýzu schopností verifikačního nástroje TVLA. Jako zkoumané příklady jsou použity: InsertBST procedura, která vkládá nový prvek do binárního seřazeného stromu, a Bakery algoritmus, což je jeden z nejznámnějších algoritmů vzájemného vyloučení.

Rok
2005
Strany
648–652
Sborník
EEICT'05
Řada
volume 3
Konference
STUDENT EEICT 2005, Brno, CZ
ISBN
80-214-2890-2
Vydavatel
Faculty of Electrical Engineering and Communication BUT
Místo
Brno
BibTeX 
@inproceedings{BUT17968,
  author="Pavel {Erlebach}",
  title="Experience from Verifying in TVLA",
  booktitle="EEICT'05",
  year="2005",
  series="volume 3",
  pages="648--652",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  address="Brno",
  isbn="80-214-2890-2"
}
Nahoru