Reliable Controller Synthesis: Guarantees For Safety-Critical System Testing And Verification