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 @ HCSV’16

CAFEIN paper @ HCSV’16

lundi 17 octobre 2016, par Pierre-Loic Garoche

Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux : Hierarchical State Machines as Modular Horn Clauses. HCVS@ETAPS 2016 : 15-28 [DOI]

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