We concentrate on systems of interacting actors and model such systems in UML. Sequence Diagrams of UML are the core notation for intuitive and formal description of interaction patterns. Topics of ...

The Office of Multicultural Affairs is a hub and campus resource that serves all students, staff, and faculty utilizing a community and cultural-competency based model. We provide a network of ...

Formal verification leverages mathematical techniques such as model checking, theorem proving, and equivalence checking.