you are way off. These is a tool to simulate and validate systems and expose edge/race conditions of that system.