Detail publikace

Fair Termination for Parameterized Probabilistic Concurrent Systems

LENGÁL, O.; LIN, A.; MAJUMDAR, R.; RUMMER, P. Fair Termination for Parameterized Probabilistic Concurrent Systems. In Proceedings of TACAS'17. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2017. p. 499-517. ISBN: 978-3-662-46680-3. ISSN: 0302-9743.
Název česky
Spravedlivá terminace pro parametrické pravděpodobnostní paralelní systémy
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Lengál Ondřej, Ing., Ph.D. (UITS)
Lin Anthony
Majumdar Rupak
Rummer Philipp
Klíčová slova


Probabilistic verification
Parameterized verification
Regular model checking
Fairness
Liveness

Abstrakt

Článek se zabývá spravedlivou terminací pro parametrické rodiny pravděpodobnostních paralelních systémů, konkrétněji testováním zda tyto systémy terminují s pravděpodobností 1.

Rok
2017
Strany
499–517
Časopis
Lecture Notes in Computer Science, roč. 10205, č. 1, ISSN 0302-9743
Sborník
Proceedings of TACAS'17
Řada
Lecture Notes in Computer Science
Konference
European Joint Conferences on Theory and Practice of Software, Uppsala, SE
ISBN
978-3-662-46680-3
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-662-54577-5_29
UT WoS
000440734900029
EID Scopus
2-s2.0-85017514801
BibTeX 
@inproceedings{BUT135903,
  author="Ondřej {Lengál} and Anthony {Lin} and Rupak {Majumdar} and Philipp {Rummer}",
  title="Fair Termination for Parameterized Probabilistic Concurrent Systems",
  booktitle="Proceedings of TACAS'17",
  year="2017",
  series="Lecture Notes in Computer Science",
  journal="Lecture Notes in Computer Science",
  volume="10205",
  number="1",
  pages="499--517",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-662-54577-5\{_}29",
  isbn="978-3-662-46680-3",
  issn="0302-9743",
  url="https://www.fit.vut.cz/research/publication/11324/"
}
Soubory
Nahoru