Software Engineering

---

Table of Contents

• Behavorial Interface Specification
• Finite State Machine Extraction
  • Full Paper
  • Extended Abstract
• Ground Models and Requirements
• Runtime Verification of COM
• Runtime Verification of .NET
• Synthesizing ASMs from Requirements