Specification Design Patterns

Certain patterns often occur in specification files. This chapter describes some of these patterns.

• Tracking Sums
• Partially Parametric Rules
• Listing Safe Assumptions
• Writing State-Based Invariants
• General Rules
  • Solvency Rules
  • Valid States and Transitions
  • Rules for ERC20