普拉斯卡尔

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

此软件的关键字

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

zbMATH参考文献（参考 8篇文章 参考）

显示第1到第8个结果，共8个。
按年份排序(引用)

  1. Chevrou，Florent；Hurault，Aurélie；Quéinnec，Philippe:用于验证多功能分布式系统的模块化框架（2019）
  2. Chevrou，Florent；Hurault，Aurélie；Quéinnec，Philippe:论异步通信的多样性（2016）
  3. Methni，Amira；Lemerre，Matthieu；Ben Hedia，Belgacem；Haddad，Serge；Barkaoui，Kamel:用TLA+指定和验证并发C程序（2015）ioport公司
  4. Gmeiner，Annu；Konnov，Igor；Schmid，Ulrich；Veith，Helmut；Widder，Josef：容错分布式算法的参数化模型检查教程（2014）
  5. Akhtar，Sabina；Merz，Stephan；Quinson，Martin:用于建模算法及其属性的高级语言（2011）
  6. 莱斯利·兰波特：《精致的拜占庭式帕克斯》（2011）
  7. Aguilera，Marcos K.；Gafni，Eli；Lamport，Leslie：邮箱问题（2010）
  8. 莱斯利·兰波特：《PlusCal算法语言》（2009）