Publication Details

Experience from Verifying in TVLA

ERLEBACH, P. Experience from Verifying in TVLA. EEICT'05. volume 3. Brno: Faculty of Electrical Engineering and Communication BUT, 2005. p. 648-652. ISBN: 80-214-2890-2.

Czech title

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"
}