Invisible Invariants Are Neither

The method of Invisible Invariants was conceived to verify properties of parameterized systems, for any instantiation, in one fell swoop. Given a deductive proof rule for the desired property, the method calls for two steps: (1) An heuristic to generate the hypothesis of the proof rule, and (2) a method to validate the premises of the proof rule once an hypothesis is generated.