Publication Details

Experience from Verifying in TVLA

ERLEBACH Pavel. Experience from Verifying in TVLA. In: EEICT'05. volume 3. Brno: Faculty of Electrical Engineering and Communication BUT, 2005, pp. 648-652. ISBN 80-214-2890-2.
Czech title
Experience from Verifying in TVLA
Type
conference paper
Language
english
Authors
Erlebach Pavel, Ing. (DITS FIT BUT)
Keywords

TVLA, InsertBST, formal verification, Bakery algorithm

Abstract

This paper aims at analysis of capabilities of the TVLA verification tool. There are used InsertBST procedure, which inserts a new node to the binary sorted tree, and Bakery algorithm, which is one of the most famous mutual exclusion algorithms, as examined examples.

Published
2005
Pages
648-652
Proceedings
EEICT'05
Series
volume 3
Conference
STUDENT EEICT 2005, Brno, CZ
ISBN
80-214-2890-2
Publisher
Faculty of Electrical Engineering and Communication BUT
Place
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"
}
Back to top