1. 1. Foreword
2. 2. Chapter 1: Traversals
3. 3. Chapter 2: Piecewise Relations
4. 4. Chapter 3: Soup DSL
5. 5. Chapter 4: Dependent Semantics
6. 6. Chapter 5: Synchronous Composition
7. 7. Chapter 6: Liveness Verification
8. 8. Chapter 7: Algorithms are Dependent
9. 9. Chapter 8: Underapproximations
10. 10. Conclusion