Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version).

Alejandro Snchez, Sriram Sankaranarayanan, Csar Snchez, Bor-Yuh Evan Chang

Browse the full SAS paper archive.