Multi-core reachability for timed automata

Autor: Dalsgaard, Andreas Engelbredt, Laarman, Alfons, Larsen, K.G., Olesen, M.Chr., Van De Pol, Jaco

Publikováno v: Dalsgaard, A E, Laarman, A, Larsen, K G, Olesen, M C & Van De Pol, J 2012, Multi-core reachability for timed automata . in M Jurdzinski & D Nickovic (eds), Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings . Springer Publishing Company, Lecture Notes in Computer Science, vol. 7595, pp. 91-106, FORMATS12, London, United Kingdom, 18/09/2012 . https://doi.org/10.1007/978-3-642-33365-1_8

Model checking of timed automata is a widely used technique. But in order to take advantage of modern hardware, the algorithms need to be parallelized. We present a multi-core reachability algorithm for the more general class of well-structured trans

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4c31d6bcf4560483a9ede6e83ab128af
https://vbn.aau.dk/da/publications/d8cfe174-6f99-49e3-ac8e-3bd0161920d3

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.