Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/40343
Название: | Verification of model checking algorithm for concurrent programs in the Coq theorem prover |
Другие названия: | Верификация алгоритма проверки моделей для многопоточных программ в системе доказательств Coq |
Авторы: | Трунов Антон Александрович Trunov Anton Aleksandrovic Гладштейн Владимир Петрович Gladstejn Vladimir Petrovic Булычев Дмитрий Юрьевич Bulycev Dmitrij Urevic |
Дата публикации: | 2022 |
URI (Унифицированный идентификатор ресурса): | http://hdl.handle.net/11701/40343 |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
thesis_main.pdf | Article | 344,15 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Otzyv_Gladstejn.pdf | ReviewSV | 136,48 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.