Publication detail

Bounded Model Checking Using Java PathFinder

DUDKA, V.

Original Title

Bounded Model Checking Using Java PathFinder

Type

article in a collection out of WoS and Scopus

Language

English

Original Abstract

This work describes the using of bounded model checking for verification of the true races in programs.

Keywords

Model Checking, Java PathFinder, Bounded model checking, verification, Record&Replay trace, self-healing, concurrency, healing assurance

Authors

DUDKA, V.

RIV year

2008

Released

24. 4. 2008

Publisher

Brno University of Technology

Location

Brno

ISBN

978-80-214-3615-2

Book

Proceedings of the 14th Conference STUDENT EEICT 2008

Edition

Volume 2

Pages from

247

Pages to

249

Pages count

3

BibTex

@inproceedings{BUT32588,
  author="Vendula {Dudka}",
  title="Bounded Model Checking Using Java PathFinder",
  booktitle="Proceedings of the 14th Conference STUDENT EEICT 2008",
  year="2008",
  series="Volume 2",
  pages="247--249",
  publisher="Brno University of Technology",
  address="Brno",
  isbn="978-80-214-3615-2"
}