Chapter 2 First Order Logic
Chapter 5 Theories
Chapter 9 Modular Specification and Verification
Chapter 16 Formal Verification with K
eY
: A Tutorial