Detail publikace

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

ABDULLA Parosh A., HAZIZA Frédéric a HOLÍK Lukáš. All for the Price of Few (Parameterized Verification through View Abstraction). In: Proc. of VMCAI 2013. Berlin Heidelberg: Springer Verlag, 2013, s. 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
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Haziza Frédéric (Uppsala)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
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
Konference
14th International Conference on Verification, Model Checking, and Abstract Interpretation, Řím, IT
ISBN
978-3-642-35872-2
Vydavatel
Springer Verlag
Místo
Berlin Heidelberg, DE
BibTeX
@INPROCEEDINGS{FITPUB10186,
   author = "A. Parosh Abdulla and Fr\'{e}d\'{e}ric Haziza and Luk\'{a}\v{s} Hol\'{i}k",
   title = "All for the Price of Few (Parameterized Verification through View Abstraction)",
   pages = "476--495",
   booktitle = "Proc. of VMCAI 2013",
   journal = "Lecture Notes in Computer Science",
   volume = 2013,
   number = 7737,
   year = 2013,
   location = "Berlin Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-642-35872-2",
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10186"
}
Nahoru