Detail publikace

Bounded Model Checking Using Java PathFinder

DUDKA, V. Bounded Model Checking Using Java PathFinder. Proceedings of the 14th Conference STUDENT EEICT 2008. Volume 2. Brno: Brno University of Technology, 2008. p. 247-249. ISBN: 978-80-214-3615-2.
Název česky
Bounded model checking v nástroji Java PathFinder
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Dudka Vendula, Ing.
Klíčová slova

Model Checking, Java PathFinder, Bounded model checking, verifikace, Record&Replay trace, automatická oprava, souběžnost, ověřování opravy

Abstrakt

Článek se zabývá bounded model checkingem pro verifikaci programů se soubězností.

Rok
2008
Strany
247–249
Sborník
Proceedings of the 14th Conference STUDENT EEICT 2008
Řada
Volume 2
Konference
Student EEICT 2008, FEKT VUT v Brně, CZ
ISBN
978-80-214-3615-2
Vydavatel
Brno University of Technology
Místo
Brno
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"
}
Nahoru