Detail publikace

Bounded Model Checking Using Java PathFinder

DUDKA Vendula. Bounded Model Checking Using Java PathFinder. In: Proceedings of the 14th Conference STUDENT EEICT 2008. Volume 2. Brno: Vysoké učení technické v Brně, 2008, s. 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
angličtina
Autoři
Dudka Vendula, Ing. (FIT VUT)
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, Brno, CZ
ISBN
978-80-214-3615-2
Vydavatel
Vysoké učení technické v Brně
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB8718,
   author = "Vendula Dudka",
   title = "Bounded Model Checking Using Java PathFinder",
   pages = "247--249",
   booktitle = "Proceedings of the 14th Conference STUDENT EEICT 2008",
   series = "Volume 2",
   year = 2008,
   location = "Brno, CZ",
   publisher = "Brno University of Technology",
   ISBN = "978-80-214-3615-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8718"
}
Nahoru