[PhD offer] Leveraging Automatic Deduction for Verification

See the pdf for a full description of the subject: SMT-TLA

Logo du CNRS

Logo d'Inria

Logo Université de Lorraine