Verification of Quantum Computing in Circuit-Quantum-Electrodynamics