trivial solution / invariant-generating solution / non-trivial solutions / heterogeneous systems / concurrent systems / hardware systems / online resolution algorithm / characteristic systems / incremental characteristic systems / online algorithm / computing / above algorithm / large size systems / homogeneous systems / transition systems / linear systems / incremental systems / /
Person
Axel LegayIncremental / Axel Legay / Saddek Bensalem / Benoit Boyer / Marius Bozga / Axel Legay Verimag / / /
Incremental Generation of Linear Invariants for Component-Based Systems Saddek Bensalem, Benoit Boyer, Marius Bozga and Axel Legay Verimag Research Report no TR