แนะนำการทวนสอบเชิงรูปนัย -- ความรู้พื้นฐานด้านคณิตตรรกศาสตร์ -- ตรรกศาสตร์เชิงเวลา -- สร้างแบบจำลองเชิงรูปนัยด้วยภาษาเชิงรูปนัย -- สร้างแบบจำลองเชิงรูปนัยด้วยแผนภาพ -- การทวนสอบด้วยการพิสูจน์ทฤษฎีบท -- การทวนสอบด้วยโมเดลเช็กกิง