Behavioral refinement

Slides

• Introduction

  ---

• Types as behavior
• Verifying behavioral properties
• On the notion of behavior
• Objects as behavioral types
• Specifying behavioral compositions

  ---

• Summary
• Q/A
• Literature

  ---

• Resources