An Spin / Promela Application for Model checking UML Sequence Diagrams Journal title: International Journal of Advanced Computer Science & Applications Authors: Cristian L. Vidal-Silva, Rodolfo Villarroel, JosĀ“e Rubio, Franklin Johnson, Erika Madariaga, Camilo... Subject(s):