Implementation of the approach of abducting readable invariants in parameterized systems.