Mingsheng Ying Knihy

Focusing on computer-aided verification techniques for quantum systems, this book serves as a foundational resource for understanding quantum computing and communication hardware and software. It includes practical examples and exercises tailored for graduates and senior undergraduates, while also providing valuable insights for researchers and engineers to apply these techniques in their professional work.

The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems.