文件名称：ecoop2021-artifact
文件大小：116KB
文件格式：ZIP
更新时间：2024-05-06 17:52:52
Scala
STMonitor-会话类型监视器合成器 给定会话类型S ，此工具将综合类型检查监视器的Scala代码（基于库 ）。 监视器在运行时验证客户端和服务器之间的交互是否遵循协议S。 以下论文描述了该方法及其基础理论： 克里斯蒂安·巴托洛·伯洛，阿德里安·弗兰卡兰萨和阿尔塞斯·Scala斯。 。 （） 克里斯蒂安·巴托洛·伯洛，阿德里安·弗兰卡兰萨和阿尔塞斯·Scala斯。 论会话类型的可监控性，在理论和实践上。 ECOOP 2021（出现）， 编译源 你会需要： Java SE开发套件（推荐：LTS版本11） 1.5.0 在包含此README.md文件的主文件夹中，执行以下命令： sbt compile 指示 该文件的其余部分记录了： 如何 如何 如何 下面的所有命令都是从STMonitor源代码的主文件夹（即，此README.md文件所在的位置）中的README.md程序