WiMi has developed a new computing model, the "digital quantum computer," in which quantum bits (qubits) are treated as discrete entities — finite state machines (FSMs), referred to as "digital qubits ...

Formal verification leverages mathematical techniques such as model checking, theorem proving, and equivalence checking.