CAFÉIN public website

CAFEIN project is funded by ANR INS 2012 with support from Aerospace Valley and System@tic competitivity clusters.

It is related to the US NSF project CrAVES - Credible Autocoding and Verification of Embedded Software.

Accueil du site > Publications > CAFEIN paper in ACM Trans. Embedded Comput. Syst.

CAFEIN paper in ACM Trans. Embedded Comput. Syst.

lundi 17 octobre 2016, par Pierre-Loic Garoche

Xavier Allamigeon, Stéphane Gaubert, Nikolas Stott, Eric Goubault, Sylvie Putot : A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems. ACM Trans. Embedded Comput. Syst. 15(4) : 69 (2016) [DOI]

SPIP | squelette | | Plan du site | Suivre la vie du site RSS 2.0