Stagiaire : Chaîne open-source pour la vérification de programmes C
Le présent stage vise à poursuivre et renforcer ces travaux en :
- étendant l’outil existant pour supporter un sous-ensemble plus riche du langage C ;
- intégrant une modélisation du cache de données afin de capturer des fuites temporelles liées au comportement mémoire.
Contact : Dylan Marinho