UML

---

Table of Contents

• Activity Diagrams
• State Machines
  • Extended Abstract
  • Full Paper
  • Automated Verification
    • Announcement
    • Description
• Extension: Generic Behaviors