Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Partial-order reduction for GPU model checking

Autor: Neele, T., Wijs, A., Bosnacki, D., van de Pol, Jan Cornelis, Artho, C, Legay, A., Peled, D.

Publikováno v: Automated Technology for Verification and Analysis-14th International Symposium, ATVA 2016, Proceedings, 357-374
STARTPAGE=357;ENDPAGE=374;TITLE=Automated Technology for Verification and Analysis-14th International Symposium, ATVA 2016, Proceedings
Automated Technology for Verification and Analysis ISBN: 9783319465197
ATVA
Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, 357-374
STARTPAGE=357;ENDPAGE=374;TITLE=Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016

Model checking using GPUs has seen increased popularity over the last years. Because GPUs have a limited amount of memory, only small to medium-sized systems can be verified. For on-the-fly explicitstate model checking, we improve memory efficiency b

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::10de7e7a1e4f6589ac3efa9aa3089c8f
https://research.tue.nl/nl/publications/5423dd59-71b1-4e3f-8943-a5ef2a952a19

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.