Detail publikace

Bounded Model Checking Using Java PathFinder

DUDKA, V.

Originální název

Bounded Model Checking Using Java PathFinder

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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

Klíčová slova

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

Autoři

DUDKA, V.

Rok RIV

2008

Vydáno

24. 4. 2008

Nakladatel

Brno University of Technology

Místo

Brno

ISBN

978-80-214-3615-2

Kniha

Proceedings of the 14th Conference STUDENT EEICT 2008

Edice

Volume 2

Strany od

247

Strany do

249

Strany počet

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