Detail publikace

Tree Automata In Modelling And Verification Of Concurrent Programs

ROGALEWICZ, A.; VOJNAR, T. Tree Automata In Modelling And Verification Of Concurrent Programs. 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ů sneomezenou rekurzí a neomezenou tvorbou vláken pomocí regulárního modelcheckingu 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
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