Pi微积分是否有任何模型检查器或证明系统

Question

我对Milner的Pi微积分有点痴迷，虽然我可以在我的白板上绘制小图表，但我很好奇是否有任何好的（或甚至是坏的）建模系统以与TLA +类似的方式检查你的逻辑。

如果由于reason x而不存在或不需要这样的系统，我希望在可能的情况下解释原因。