Christel Baier, Principles of Model Checking 习题答案/模型检测原理

PRINCIPLES OF
MODEL CHECKING
SOLUTIONS TO SELECTED EXERCISES
CHRISTEL BAIER
JooST-PIETER KATOEN

Principles of Model Checking (Instructor Solution Manual, Solutions)
Christel Baier, Joost-Pieter Katoen

This manual contains solutions to selected exercises in the book Principles of Model Checking first edition, by Christel Baier (TU Dresden, Germany) and Joost-Pieter Katoen (RWTH Aachen University, Germany & University of Twente, the Netherlands). This booklet is intended for lecturers and instructors for courses that are based on this book.
Most of the solutions in this booklet are adapted from solution sets handed out to students in classes we taught in the last couple of years.