Translating SysML Activity Diagrams for nuXmv Verification of an Autonomous Pancreas

Orion Staskal, Josh Simac, Logan Swayne, Kristin Y. Rozier

This webpage contains further details and artifacts for reproducibility of the experiments in "Translating SysML Activity Diagrams for nuXmv Verification of an Autonomous Pancreas" by O. Staskal, J. Simac, L. Swayne, K.Y. Rozier

---

Artifacts

All artifacts for reproducibility are available here.

---