Detail publikace

Experience from Verifying in TVLA

ERLEBACH Pavel. Experience from Verifying in TVLA. In: EEICT'05. volume 3. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2005, s. 648-652. ISBN 80-214-2890-2.
Název česky
Experience from Verifying in TVLA
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Erlebach Pavel, Ing. (UITS FIT VUT)
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
Fakulta elektrotechniky a komunikačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB7770,
   author = "Pavel Erlebach",
   title = "Experience from Verifying in TVLA",
   pages = "648--652",
   booktitle = "EEICT'05",
   series = "volume 3",
   year = 2005,
   location = "Brno, CZ",
   publisher = "Faculty of Electrical Engineering and Communication BUT",
   ISBN = "80-214-2890-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7770"
}
Nahoru