Выступление аспиранта МОЭВМ на конференции ADVCOMP

Выступление на конференции ADVCOMP

10 октября 2016г. в Венеции, на конференции «10th International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP 2016)» аспирантом кафедры МОЭВМ Рене Хаберландом была представлена научная статья «A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction»/

01.11.2016 189

10 октября 2016г. в Венеции (Италия), на конференции «10th International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP 2016)» аспирантом кафедры МОЭВМ Рене Хаберландом была представлена научная статья «A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction».

В данной работе работе усиливаются требования к оператору разделения в моделях распределенной памяти с целью исключения многозначности в описаниях куч; вводятся новые контекстно-свободные операторы, которые позволяют анализировать формулы куч за одуну итерацию. Свойства введенных операторов таковы, что они позволяют сравнивать состояния куч простым образом, а также подключать сторонние модули для такой проверки.