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
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