Automated Verification by Induction with Associative-Commutative Operators.

Narjes Berregeb, Adel Bouhoula, Michal Rusinowitch

Browse the full CAV paper archive.