Return to search results
💡 Advanced Search Tip
Search by organization or tag to find related datasets
Translations from OBM Library and SysML Behavior Examples to Alloy
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.
Complete Metadata
| bureauCode |
[ "006:55" ] |
|---|---|
| conformsTo | https://www.omg.org/spec/SysML/1.6 |
| identifier | ark:/88434/mds2-3614 |
| issued | 2024-12-10 |
| language |
[ "en" ] |
| programCode |
[ "006:045" ] |
| references |
[ "https://doi.org/10.6028/NIST.IR.8388-upd1" ] |
| theme |
[ "Information Technology:Data and informatics", "Manufacturing:Interoperability in manufacturing", "Manufacturing:Manufacturing systems design and analysis", "Mathematics and Statistics:Modeling and simulation research" ] |
