Invariant Generation for Multi-Path Loops with Polynomial Assignments.

Andreas Humenberger, Maximilian Jaroschek, Laura Kovcs

Browse the full VMCAI paper archive.