Please use this identifier to cite or link to this item:
http://hdl.handle.net/11701/40343
Title: | Verification of model checking algorithm for concurrent programs in the Coq theorem prover |
Other Titles: | Верификация алгоритма проверки моделей для многопоточных программ в системе доказательств Coq |
Authors: | Трунов Антон Александрович Trunov Anton Aleksandrovic Гладштейн Владимир Петрович Gladstejn Vladimir Petrovic Булычев Дмитрий Юрьевич Bulycev Dmitrij Urevic |
Issue Date: | 2022 |
URI: | http://hdl.handle.net/11701/40343 |
Appears in Collections: | BACHELOR STUDIES |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
thesis_main.pdf | Article | 344,15 kB | Adobe PDF | View/Open |
reviewSV_Otzyv_Gladstejn.pdf | ReviewSV | 136,48 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.