Verification Methods for Surface Code Implementations in Superconducting Systems | AMiner