普拉斯卡尔

PlusCal算法语言。算法不同于程序,不应该用编程语言来描述。编程语言的唯一简单替代方法是伪代码。PlusCal是一种算法语言,现在可以用来代替伪代码,用于顺序和并发算法。它基于TLA+规范语言,一个PlusCal算法被自动转换成TLA+规范,可以用TLC模型检查器进行检查和形式化推理。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换