Model checking quantum systems 并列题名：Model checking quantum systems Manipulating quantum systems 并列题名：Manipulating quantum systems modernizing control systems Cracking quantum physics Modeling complex systems 并列题名：Cracking quantum physics modelling and reasoning about systems simulation of classical and quantum systems