Comment by beecasthurlbow

If you use agents to generate formal verification, how do you tell if the properties that are verified are the correct ones?