A Forward-Only Construction of Semilinear Inductive Invariants for VAS.

Clotilde Bizire, Jrme Leroux, Grgoire Sutre

Browse the full MFCS paper archive.