Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Dudka Vendula, Ing., UITS (FIT)
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

Rok
2008
Strany
247–249
Sborník
Proceedings of the 14th Conference STUDENT EEICT 2008
Řada
Volume 2
Konference
Student EEICT 2008
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"
}
Projekty
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru