Zobrazeno 1 - 1
of 1
pro vyhledávání: '"IR-91462"'
Publikováno v:
Theoretical computer science, 538, 103-123. Elsevier
Confluence reduction and partial order reduction by means of ample sets are two different techniques for state space reduction in both traditional and probabilistic model checking. This paper provides an extensive comparison between these two methods
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a44415ad5a7a10c1b35086611372201d
https://research.utwente.nl/en/publications/62dece1f-ee0b-425f-b71c-7be840697612
https://research.utwente.nl/en/publications/62dece1f-ee0b-425f-b71c-7be840697612
