Detail publikace

Verification of parametric concurrent systems with prioritised FIFO resource management

VOJNAR, T.; HABERMEHL, P.; BOUAJJANI, A. Verification of parametric concurrent systems with prioritised FIFO resource management. FORMAL METHODS IN SYSTEM DESIGN, 2008, vol. 32, no. 2, p. 129-172. ISSN: 0925-9856.
Název česky
Verifikace parametrických systémů paralelních procesů s prioritním FIFO řízením přístupu ke sdíleným zdrojům
Typ
článek v časopise
Jazyk
anglicky
Autoři
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Habermehl Peter
Bouajjani Ahmed
URL
Klíčová slova

formal verification, parameterized concurrent systems, cut-offs

Abstrakt

Článek navrhuje několik originálních výsledků týkajících se využití metody řezů k verifikaci parametrických systémů paralelních procesů s prioritním FIFO řízením přístupu ke sdíleným zdrojům.

Rok
2008
Strany
129–172
Časopis
FORMAL METHODS IN SYSTEM DESIGN, roč. 32, č. 2, ISSN 0925-9856
BibTeX 
@article{BUT48165,
  author="Tomáš {Vojnar} and Peter {Habermehl} and Ahmed {Bouajjani}",
  title="Verification of parametric concurrent systems with prioritised FIFO resource management",
  journal="FORMAL METHODS IN SYSTEM DESIGN",
  year="2008",
  volume="32",
  number="2",
  pages="129--172",
  issn="0925-9856",
  url="http://www.springerlink.com/content/f234451821483p0j/fulltext.pdf"
}
Nahoru