Detail publikace

Towards Applying Mona in Abstract Regular Tree Model Checking

ROGALEWICZ, A. Towards Applying Mona in Abstract Regular Tree Model Checking. In Proceedings of the 11th Conference Student EEICT 2005. Volume 3. Brno: Faculty of Information Technology BUT, 2005. p. 663-667. ISBN: 80-214-2890-2.
Název česky
Cesta k použití Mony pro abstract regular tree model checking
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Klíčová slova

formal verification, regular tree model checking, automated abstraction

Abstrakt

Článek zkoumá možnosti použití knihovny pro praci s guided tree automaty (součást projektu Mona) pro implementaci techniky abstract regular tree model checking.

Rok
2005
Strany
663–667
Sborník
Proceedings of the 11th Conference Student EEICT 2005
Řada
Volume 3
Konference
STUDENT EEICT 2005, Brno, CZ
ISBN
80-214-2890-2
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@inproceedings{BUT21502,
  author="Adam {Rogalewicz}",
  title="Towards Applying Mona in Abstract Regular Tree Model Checking",
  booktitle="Proceedings of the 11th Conference Student EEICT 2005",
  year="2005",
  series="Volume 3",
  pages="663--667",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  isbn="80-214-2890-2"
}
Nahoru