1 ressource : DRAGOI CEZARA

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1 ressource
page 1 sur 1
résultats 1 à 1
Canal-U
Logic-based static analysis for the verification of programs with dynamically allocated data structures
Description : 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 ...
Mots clés : évaluation sytème informatique
Date : 03-12-2015
Droits : Droits réservés à l'éditeur et aux auteurs. © Inria Paris - Rocquencourt
 En savoir plus
 Description complète
Logic-based static analysis for the verification of programs with dynamically allocated data structures
 Ajouter à mon panier
Accéder aux documents