Translations from OBM Library and SysML Behavior Examples to Alloy

Description

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.

Resources

Name Format Description Link
0 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. https://data.nist.gov/od/ds/mds2-3614/obmalloytrans-upd1.zip

Tags

  • sysml
  • behavior-verification
  • systems-modeling
  • alloy

Topics

Categories