Detail publikačního výsledku

Bounded Model Checking Using Java PathFinder

DUDKA, V.

Originální název

Bounded Model Checking Using Java PathFinder

Anglický název

Bounded Model Checking Using Java PathFinder

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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

Anglický abstrakt

This work describes the using of bounded model checking forverification 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

Klíčová slova v angličtině

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

Autoři

DUDKA, V.

Rok RIV

2010

Vydáno

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

Plný text v Digitální knihovně

http://hdl.handle.net/

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