文件名称:
stmonitor:通讯协议监控器-源码
开发工具:
文件大小: 106kb
下载次数: 0
上传时间: 2021-03-31
详细说明：会话类型监视器
围绕库构建的Scala中通信协议的混合验证方法。 （如本文。）
在给定会话类型S的情况下，该工具可以综合类型检查监视器的Scala代码，该监视器在运行时验证交互是否遵守S以及可用于实现根据S进行交互的过程的签名。 生成的监视器嵌入有会话类型中指定的运行时数据检查。 可以在找到概述我们的方法的演示文稿。
这些指令用于重新创建和执行本文中的示例（即登录示例）。 我们假设使用Java 8作为默认JRE / JDK的类Unix操作系统，可以从下载。
编译源代码
该项目使用sbt构建工具，可从下载（sbt v。0.13.x）。 安装完成后，在stmonitor/ *中打开一个终端，然后执行命令sbt compile 。
*此后的所有命令都必须在此位置执行。
登录示例
1.综合监视器和CPSP类。
考虑登录示例，其中服务器必须遵循auth.st找到的类型：
S_auth=re
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
相关搜索:
