【文件属性】：
文件名称：kekinian:下一代蚂蚁
文件大小：6.37MB
文件格式：ZIP
更新时间：2024-04-26 15:43:40
Scala
Sireum：高度保证的系统工程平台
amd64：mac，linux，windows
aarch64：Linux
行家： org.sireum.kekinian:cli_2.13:
概述
Sireum Kekinian是Sireum平台的最新发展，其核心组件是使用Sireum编程语言Slang构建的。
Slang是一种OO / FP编程语言，具有用于正式验证和分析的合同和证明语言。 也就是说，它是下一代验证程序和证明检查器以及其他基于正式方法的分析技术的基础。 当前，它是Scala 2.13的子集，具有通过Scala的和功能启用的不同内存模型，并支持 。
除了一小部分和使用解析器，运行时库和Slang本身（并在其之上进行分析）都是使用Slang编写的。
Slang程序在JVM（Java 8+）上，在浏览器或Node.js中（通过 Javascript转
