Book contents
- Frontmatter
- Contents
- Preface
- Acknowledgements
- 1 Introduction
- 2 Basics of Model Checking
- 3 Basics of Quantum Theory
- 4 Model Checking Quantum Automata
- 5 Model Checking Quantum Markov Chains
- 6 Model Checking Super-Operator-Valued Markov Chains
- 7 Conclusions and Prospects
- Appendix 1 Proofs of Technical Lemmas in Chapter 4
- Appendix 2 Proofs of Technical Lemmas in Chapter 5
- Appendix 3 Proofs of Technical Lemmas in Chapter 6
- References
- Index
Appendix 2 - Proofs of Technical Lemmas in Chapter 5
Published online by Cambridge University Press: 14 January 2021
- Frontmatter
- Contents
- Preface
- Acknowledgements
- 1 Introduction
- 2 Basics of Model Checking
- 3 Basics of Quantum Theory
- 4 Model Checking Quantum Automata
- 5 Model Checking Quantum Markov Chains
- 6 Model Checking Super-Operator-Valued Markov Chains
- 7 Conclusions and Prospects
- Appendix 1 Proofs of Technical Lemmas in Chapter 4
- Appendix 2 Proofs of Technical Lemmas in Chapter 5
- Appendix 3 Proofs of Technical Lemmas in Chapter 6
- References
- Index
Summary
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9781108613323/resource/name/firstPage-9781108484305apx2_190-195.jpg)
- Type
- Chapter
- Information
- Model Checking Quantum SystemsPrinciples and Algorithms, pp. 190 - 195Publisher: Cambridge University PressPrint publication year: 2021