Master 2020 2021
Stages de la spécialité STL
Alt-Ergo Fuzz

Le premier but de ce stage serait de faire un état des lieux des travaux effectués sur le fuzzing des outils supportant le standard smt-lib, ainsi qu’étudier les résultats de tels outils de fuzzing sur Alt-Ergo. Dans un second temps, le but sera de créer un fuzzer pour le langage d’entrée d’Alt-Ergo.

Description détaillée : https://www.ocamlpro.com/wp-content...

Voir les autres stages : https://www.ocamlpro.com/fr/recrute...

Envoyez-nous votre CV ainsi qu’une description de quelques unes de vos réalisations à l’adresse suivante : contact@ocamlpro.com