Quantum linear time property is defined

including quantum safety property

quantum invariant which their relationships and properties are studied.Together with measure-one and measure many one way quantum finite automata

two kinds of the product quantum markov chains are constructed

the checking method of quantum regular propertyis provided based on automaton technique.This method shows the satisfaction of quantum regular safety is decided by the reachable termination verification of the product quantum markov chain

and thecomputation formula of satisfaction probability is given.As an application example

the generalized quantum loop program is analyzed.It shows the termination of program is turned into the satisfaction for the verification of quantum regular safety property.