My field of research is the formal verification of complex circuits as well as the complexity analysis of the verification process. Different approaches are capable of verifying specific groups of circuits efficiently. The goal of my work is to prove efficient verification for sets of circuits with a given method and to develop new approaches for types of circuits which are not easily verifiable with other techniques.