UML-VT: A Formal Verification Environment for UML Activity Diagrams

Zamira Daw, John Mangino, Rance Cleaveland. UML-VT: A Formal Verification Environment for UML Activity Diagrams. In Vinay Kulkarni, Omar Badreddin, editors, Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 27, 2015. Volume 1554 of CEUR Workshop Proceedings, pages 48-51, CEUR-WS.org, 2015. [doi]

Authors

Zamira Daw

This author has not been identified. Look up 'Zamira Daw' in Google

John Mangino

This author has not been identified. Look up 'John Mangino' in Google

Rance Cleaveland

This author has not been identified. Look up 'Rance Cleaveland' in Google