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

---

Contact

For further information, please contact Orion Staskal, Josh Simac, or Logan Swayne.