Publication detail

Bounded Model Checking Using Java PathFinder

DUDKA, V.

Original Title

Bounded Model Checking Using Java PathFinder

English Title

Bounded Model Checking Using Java PathFinder

Type

conference paper

Language

en

Original Abstract

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

English 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

RIV year

2008

Released

24.04.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

Edition number

NEUVEDEN

Pages from

247

Pages to

249

Pages count

3

Documents

BibTex


@inproceedings{BUT32588,
  author="Vendula {Dudka}",
  title="Bounded Model Checking Using Java PathFinder",
  annote="This work describes the using of bounded model checking for verification of the
true races in programs.",
  address="Brno University of Technology",
  booktitle="Proceedings of the 14th Conference STUDENT EEICT 2008",
  chapter="32588",
  edition="Volume 2",
  howpublished="print",
  institution="Brno University of Technology",
  year="2008",
  month="april",
  pages="247--249",
  publisher="Brno University of Technology",
  type="conference paper"
}