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