Translations from OBM Library and SysML Behavior Examples to Alloy
收藏NIST Chemistry WebBook2024-12-10 更新2026-03-14 收录
下载链接：
https://data.nist.gov/od/id/mds2-3614
下载链接
链接失效反馈官方服务：
资源简介：
This repository includes Alloy Analyzer code from the development of NIST Interagency Report (NISTIR) 8388-upd1. The report presents an approach to verifying executability of system behavior models by treating them as logical constraint problems solved using Alloy Analyzer, a non-proprietary software tool supporting a textual language for logical constraints and underlying solvers.
