Publication Details

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.
Czech title
Experience from Verifying in TVLA
Type
conference paper
Language
English
Authors
Erlebach Pavel, Ing., Ph.D.
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
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"
}
Back to top