Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 13803
Label UNT Conférences

le (41m50s)

Logic-based static analysis for the verification of programs with dynamically allocated data structures

Software development has reached a complexity level that cannot be handled without the aid of computer assisted methods. It is therefore of the highest importance to have rigorous methods and automated techniques for software verification, allowing to ensure a high degree of reliability and of confidence in their behaviors. In this talk, we present logic-based frameworks for automatic verification of programs manipulating dynamically allocated data-structures. We focus on static analysis techniques, that generate assertions about the program’s reachable states using the algorithmic capabilities ...
Voir la vidéo
Conférences

le (5m52s)

La congélation dans de la carbonite, nouvelle sanction au non-remboursement d’une dette ? L’exemple d’Han Solo

M. Jérôme Lasserre CapdevilleQuel rapport entre Star Wars et le droit ? A priori, aucun. Et pourtant, les membres de l’association MédiaDroit font le pari de prendre Luke Skywalker, Han Solo, maître Yoda et autre R2-D2 comme objets d’étude sous un prisme juridique. Le projet a bénéficié du soutien des IdEx dans le cadre du programme d’Investissements d’avenir.
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte