Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and softwar

The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.

The concept of a computer operating on the quantum level is unquestionably one of the most fascinating new breakthroughs at the leading edge of the computer ind

Quantum computers promise dramatic advantages in processing speed over currently available computer systems. Quantum computing offers great promise in a wide va