Now showing items 1-1 of 1

    • Thumbnail

      A Spin / Promela Application for Model checking UML Sequence Diagrams 

      Vidal-Silva, Cristian; Villarroel, Rodolfo; Rubio, José Miguel; Johnson, Franklin; Madariaga, Erika; Campos, Camilo; Carter, Luis (2018)
      UML sequence diagrams usually represent the behavior of systems execution. Automated verification of UML sequence diagrams’ correctness is necessary because they can model critical algorithmic behaviors of information ...