Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Stubborn set"'
Publikováno v:
International journal on software tools for technology transfer, 18(4), 427-448. Springer
This paper aims at making partial-order reduction independent of the modeling language. To this end, we present a guard-based method which is a general-purpose implementation of the stubborn set method. We approach the implementation through so-calle
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::41796ed1b0d99a2eb1c85e7ecb0b012d
https://doi.org/10.1007/s10009-014-0363-9
https://doi.org/10.1007/s10009-014-0363-9
Publikováno v:
NASA Formal Methods. :32-47
Until recently, the preferred method of livelock detection was via LTL model checking, which imposes complex constraints on partial order reduction (POR), limiting its performance and parallelization. The introduction of the DFS_FIFO algorithm by Far
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dris___00893::14ca63baea1964c9287ec990bef9d5f9
https://doi.org/10.1007/978-3-642-38088-4_3
https://doi.org/10.1007/978-3-642-38088-4_3
Publikováno v:
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, 32-47
STARTPAGE=32;ENDPAGE=47;TITLE=NASA Formal Methods
STARTPAGE=32;ENDPAGE=47;TITLE=NASA Formal Methods
Until recently, the preferred method of livelock detection was via LTL model checking, which imposes complex constraints on partial order reduction (POR), limiting its performance and parallelization. The introduction of the DFS_FIFO algorithm by Far
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::729bb15763194cad9947d1acc502d335
https://research.utwente.nl/en/publications/eaef7e9d-ffac-464e-b0cf-ce74614b49dc
https://research.utwente.nl/en/publications/eaef7e9d-ffac-464e-b0cf-ce74614b49dc
Autor:
Laarman, Alfons, Pater, Elwin, van de Pol, Jan Cornelis, Weber, M., Bartocci, E., Ramakrishnan, C.R.
Publikováno v:
Model Checking Software ISBN: 9783642391750
SPIN
Proceedings of the 20th International SPIN Symposium on Model Checking of Software, SPIN 2013, 227-245
STARTPAGE=227;ENDPAGE=245;TITLE=Proceedings of the 20th International SPIN Symposium on Model Checking of Software, SPIN 2013
SPIN
Proceedings of the 20th International SPIN Symposium on Model Checking of Software, SPIN 2013, 227-245
STARTPAGE=227;ENDPAGE=245;TITLE=Proceedings of the 20th International SPIN Symposium on Model Checking of Software, SPIN 2013
This paper aims at making partial-order reduction independent of the modeling language. Our starting point is the stubborn set algorithm of Valmari (see also Godefroid's thesis), which relies on necessary enabling sets. We generalise it to a guard-ba
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a5d44d81aa7748c1e6104c7602cc10fe
https://doi.org/10.1007/978-3-642-39176-7_15
https://doi.org/10.1007/978-3-642-39176-7_15
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.