Detail publikace

All for the Price of Few (Parameterized Verification through View Abstraction)

HOLÍK, L.; ABDULLA, P.; HAZIZA, F. All for the Price of Few (Parameterized Verification through View Abstraction). Proc. of VMCAI 2013. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2013. p. 476-495. ISBN: 978-3-642-35872-2. ISSN: 0302-9743.
Název česky
Vše za cenu měkolika (pohledové abstrakce pro parametrickou verifikaci)
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Abdulla Parosh
Haziza Frédéric
Klíčová slova

parametrická verifikace, komunikační protokoly, dobře quasi-uspořádané systémy, řez

Abstrakt

Představujeme jednoduchou a efektivní metodu pro verifikaci parametrických systémů, například komunikačních protokolů s parametrickým počtem procesů. Metoda je postavena na takzvané pohledové abstrakci, jež vidí systém oknem šířky fixního počtu procesů. Metoda funguje pro systémy s různými topologiemi, jako slova, stromy, prstence, multimnožiny. Je úplná pro širokou třídu systémů, jmenovitě pto dobře uspořádané systémy, například Petriho sítě. Efektivitu metody jsme ověřili experimentálně na široké škále systémů.

Rok
2013
Strany
476–495
Časopis
Lecture Notes in Computer Science, roč. 2013, č. 7737, ISSN 0302-9743
Sborník
Proc. of VMCAI 2013
ISBN
978-3-642-35872-2
Vydavatel
Springer Verlag
Místo
Berlin Heidelberg
BibTeX 
@inproceedings{BUT103433,
  author="Lukáš {Holík} and Parosh {Abdulla} and Frédéric {Haziza}",
  title="All for the Price of Few (Parameterized Verification through View Abstraction)",
  booktitle="Proc. of VMCAI 2013",
  year="2013",
  journal="Lecture Notes in Computer Science",
  volume="2013",
  number="7737",
  pages="476--495",
  publisher="Springer Verlag",
  address="Berlin Heidelberg",
  isbn="978-3-642-35872-2",
  issn="0302-9743"
}
Nahoru