Model-Checking Linear-Time Properties of Quantum Systems

Details Model-Checking Linear-Time Properties of Quantum Systems Model-Checking Linear-Time Properties of Quantum Systems

2010-12-31

arxiv.org/abs/1101.0303v1

Physics

Quantum Physics

Scientific paper

We define a formal framework for reasoning about linear-time properties of quantum systems in which quantum automata are employed in the modeling of systems and certain closed subspaces of state (Hilbert) spaces are used as the atomic propositions about the behavior of systems. We provide an algorithm for verifying invariants of quantum automata. Then automata-based model-checking technique is generalized for the verification of safety properties recognizable by reversible automata and omega-properties recognizable by reversible Buechi automata.

Affiliated with

Also associated with

No associations

Rating

Model-Checking Linear-Time Properties of Quantum Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Model-Checking Linear-Time Properties of Quantum Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Model-Checking Linear-Time Properties of Quantum Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-348301