mbeddr.formal:FASTEN:正式规范环境 一组用于测试严格系统和安全工程的DSL 源码

系 主页 FASTEN主页-https: 社区 有关使用和扩展FASTEN的问题: 如果遇到问题,请打开一个问题 版本号 获取 构建(从命令行) 为了构建FASTEN,我们有基于gradle的脚本(请在gradle.properties中配置所需的变量) 要打包FASTEN分发,请运行gradlew.bat这将启动默认任务build_fasten_safety_distribution 建筑物(来自MPS) 下载MPS 2020.2.x 克隆存储库并将“ platform_2020_1_2 /”的内容复制到MPS的“ plugins”目录中 启动MPS “设置”->“外观和行为”->“路径变量”中的路径变量mbeddr.formal.home指向包含克隆的“ mbeddr.formal”存储库的目录。 重建项目