title: Research and implementation of verification and testing methods for concurrent algorithms in C++
metadata.name: dc.contributor.advisor
metadata.value: Елизаров Роман Анатольевич
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Elizarov Roman Anatolevic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Скальт Альберт Вячеславович
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Skalt Albert Vaceslavovic
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Шалымов Дмитрий Сергеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Salymov Dmitrij Sergeevic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2024-07-25T11:49:42Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2024-07-25T11:49:42Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2024
metadata.name: dc.identifier.other
metadata.value: 086175
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/46250
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Для верификации многопоточной библиотеки был разработан инструмент, позволяющий проверять произвольные C++ классы на линеаризуемость.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: To verify a multithreaded library, a tool has been developed that allows to check arbitrary C++ classes for linearizability.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: корутины
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: потоки
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: верификация
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: линеаризуемость
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: coroutines
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: threads
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: verification
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: linearizability
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Research and implementation of verification and testing methods for concurrent algorithms in C++
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Исследование и реализация методов верификации и тестирования конкурентных алгоритмов на C++
metadata.lang: ru_RU
resources.filename: st086175.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/46250/2/st086175.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 642,61 kB
resources.filename: reviewSV_Otzyv_Skalt.docx
resources.url: https://dspace.spbu.ru/bitstream/11701/46250/3/reviewSV_Otzyv_Skalt.docx
resources.format: Microsoft Word XML
resources.description: ReviewSV
resources.size: 16,33 kB
resources.filename: reviewSV_st086175_Skalt_Albert_Vaceslavovic_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/46250/4/reviewSV_st086175_Skalt_Albert_Vaceslavovic_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 3,42 kB