A distributed system for software verification includes a plurality of processors, each of which actively executes a verified software to perform a verifying operation of a corresponding target object under no external instruction, wherein the plurality of processors independently perform verifying operations of different target objects; a switch including a plurality of first connection ports electrically coupled to the plurality of processors, respectively, and a second connection port electrically coupled to each of the plurality of first connection ports; and a data collector electrically coupled to the second connection port. An information report is generated and sent to the data collector via the corresponding first connection port and the second connection port in response to the verifying operation.