Pierre-Yves Delahaye

Extraction de contrats 42 à partir de programmes SystemC

vendredi 20 août 2010

Années: 2010 (IRL Ensimag )
Co-encadrant: Kevin Marquet
Sujet: Extraction de contrats 42 à partir de programmes SystemC
Résumé:

Une implémentation de l’extraction de contrats (dans le formalisme « 42 ») qui avait été définie théoriquement par Tayeb Bouhadiba a été réalisée, en se basant sur le front-end SystemC PinaVM. L’outil est incomplet, mais entièrement automatique.

Voir en ligne : Plus d’informations