Project

Projet sur: Finding inductive invariants using satisfiability modulo theories and convex optimization

Institut National Polytechnique de Toulouse

Period: from 03-06-2020 to 03-06-2024

Link

t nunc commodo placerat praesent blandit nam nulla integer pede justo lacinia eget tincidunt eget tempus vel pede morbi porttitor lorem id ligula suspendisse ornare consequat lectus in est risus auctor sed tristique in tempus sit

Manager