文件名称:
pgo：PGo是源代码，用于将PlusCal编译为Go lang-源码
开发工具:
文件大小: 5mb
下载次数: 0
上传时间: 2021-01-31
详细说明：围棋
PGo是编译器将规范编译为程序的源代码。
目的/动机
是用于指定/建模并发系统的语言。 它旨在编写。 特别是，PlusCal可以编译为TLA +，可以根据有用的系统属性（使用TLC模型检查器）进行检查。 例如，是有关互斥问题的PlusCal公式解决方案的资料库。
是Google为构建分布式系统而开发的一种基于C的语言。 它内置了对通道和goroutine并发的支持，这使其非常适合开发分布式系统。
当前没有工具将PlusCal / TLA +规范与规范的实现相对应。 PGo是一种工具，旨在通过基于PlusCal规范生成Go代码来将规范与实现联系起来。 PGo可以将经过验证的分布式系统
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
