Саввин Е.К. (науч. рук. Лаздин А.В.) Верификация параллельных программ с помощью пи-исчисления
УДК тезиса: 004.42
В докладе рассматривается возможность верификации корректности программ, использующих параллельные вычисления с помощью пи-исчисления, предложенного Робином Милнером. Для иллюстрации этой возможности пи-исчисление применяется к двум вариантам решения задачи обедающих философов: корректному и содержащему ошибку и демонстрируется, что пи-исчисление способно выявить ошибки в параллельных программах при их наличии.
Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2022].