МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Файл статьи: Фроловский А.В..pdf (185.01Кб)

1.     Ковега Д.Н., Крищенко В.А. Использование системы LLVM при динамическом поиске состояний гонок в программах // Инженерный журнал: наука и инновации. Электрон. журн.  2013.  №2 (14). Режим доступа: http://engjournal.ru/catalog/it/hidden/549.html (дата обращения 20.02.2014).

2.     Кропачева М.С. Формальная верификация параллельных программ // Исследования наукограда. 2012. №2(2). С.35-38.

3.     Пелед Д., Грамберг О., Кларк Э.М. Верификация моделей программ: пер. с англ. / под ред. Смелянского Р. М.: Московский центр непрерывного математического образования, 2002. 416 с. [Edmund M. Clarke, Orna Grumberg, Doron Peled. Model Checking. Cambridge: The MIT Press, 1999.].

4.     Kahlon V. Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis // Proceeding of the Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation. Tucson 2008. P.249-259. DOI:10.1145/1375581.1375613

5.     Steensgaard B. Points-to analysis in almost linear time // Proceeding of the POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. St. Petersburg Beach 1996. P. 32-41. DOI:10.1145/237721.237727

6.     Vojdani V. Static Data Race Analysis of Heap-Manipulating C Programs: PhD. Tartu: University of Tartu, 2010. 131 p.

7.     Voung J.W., Jhala R., Lerner S. RELAY: static race detection on millions of lines of code. // Proceedings of the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering. Dubrovnik  2007. P.205-214. DOI:10.1145/1287624.1287654.