We developed a symbolic approach for model checking of quantum circuits using laws of quantum ... the formal specification and verification of complex systems. It is equipped with a Linear ...

Using of basic building blocks in different ways to make complex circuit is a common axiom in Digital Logic design. The complexity of these building blocks can vary from simple structure like ...