Basics of Model Checking
Mingsheng Ying, Yuan Feng · Cambridge University Press eBooks · 2021
Model checking is an algorithmic technique for verification of computing and communication hardware and software. This book extends the technique of model checking for quantum systems. As preliminaries, this chapter introduces basics of model checking for both classical non-probabilistic and probabilistic systems.