Detail publikace

Tree Automata In Modelling And Verification Of Concurrent Programs

ROGALEWICZ, A., VOJNAR, T. Tree Automata In Modelling And Verification Of Concurrent Programs. In Proceedings of ASIS 2004. Ostrava: 2004. p. 197-202. ISBN: 80-86840-03-4.
Název česky
Stromové automaty v modelování a verifikaci paralelních programů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

formal verification, regular model checking, automated abstraction

Abstrakt

Článek zkoumá možnosti modelování a verifikace paralelních programů s neomezenou rekurzí a neomezenou tvorbou vláken pomocí regulárního model checkingu zobecněného na práci se stromovými automaty.

Rok
2004
Strany
197–202
Sborník
Proceedings of ASIS 2004
ISBN
80-86840-03-4
Místo
Ostrava
BibTeX 
@inproceedings{BUT17569,
  author="Adam {Rogalewicz} and Tomáš {Vojnar}",
  title="Tree Automata In Modelling And Verification Of Concurrent Programs",
  booktitle="Proceedings of ASIS 2004",
  year="2004",
  pages="197--202",
  address="Ostrava",
  isbn="80-86840-03-4"
}
Nahoru