This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides …
