Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Vladimir Gladstein"'
Publikováno v:
Scientific and Technical Journal of Information Technologies, Mechanics and Optics. 22:517-527
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7132087f2be4c92d424183e67cdfa3ec
https://doi.org/10.17586/2226-1494-2022-22-3-517-527
https://doi.org/10.17586/2226-1494-2022-22-3-517-527
Publikováno v:
Proceedings of the ACM on Programming Languages
49th ACM SIGPLAN Symposium on Principles of Programming Languages
49th ACM SIGPLAN Symposium on Principles of Programming Languages
Dynamic partial order reduction (DPOR) verifies concurrent programs by exploring all their interleavings up to some equivalence relation, such as the Mazurkiewicz trace equivalence. Doing so involves a complex trade-off between space and time. Existi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7ae0fb612a93a48c8394c5804a69c0f1
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice o
