Swarm Model Checking on the GPU,
DeFrancisco, R., Cho S., Ferdman M., and Smolka S. A.
, International Journal on Software Tools for Technology Transfer, (2020)
An Extensible Operational Semantics for UML Activity Diagrams,
Daw, Zamira, and Cleaveland Rance
, Software Engineering and Formal Methods - 13th International Conference, {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings, (2015)