Warning

This page was created from a pull request (#74).

Designing Good Specifications

This chapter describes several methods for thinking systematically about specifications.

Todo

This section is incomplete. See

• Thinking about properties tutorial

• Video from AAVE workshop (slides)

• Workshop notes

Method Specifications

Variable Changes

Variable Relationships

State-Transition Systems

Risk Assessment

Mathematical Properties