Detail publikace

Tree Automata In Modelling And Verification Of Concurrent Programs

ROGALEWICZ Adam a VOJNAR Tomáš. Tree Automata In Modelling And Verification Of Concurrent Programs. In: Proceedings of ASIS 2004. Ostrava: MARQ, 2004, s. 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
angličtina
Autoři
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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
Konference
ASIS2004 - 26th International Autumn Colloquium - Advanced Simulation of Systems, Sv. Hostýn, CZ
ISBN
80-86840-03-4
Vydavatel
MARQ
Místo
Ostrava, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7617,
   author = "Adam Rogalewicz and Tom\'{a}\v{s} Vojnar",
   title = "Tree Automata In Modelling And Verification Of Concurrent Programs",
   pages = "197--202",
   booktitle = "Proceedings of ASIS 2004",
   year = 2004,
   location = "Ostrava, CZ",
   ISBN = "80-86840-03-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7617"
}
Nahoru