Quick Start

Get a taste of the system and separation logic by looking through the quick start. Afterwards, check out some of the more focused content.

Contents

• Setup
• Very First Verification
• Basics about Program State
• Primitive Data
• Exploring Programs in Logic