Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Ressources pédagogiques > Accès par mots-clefs en fr
  • Nouveautés
  • Recherche avancée
  • Sciences et techniques
  • Sciences de la terre
  • Chimie
  • Sciences de la vie
  • Physique
  • Toutes les thématiques
Ressources pédagogiques -> Mot(s)-clé
évaluation sytème informatique
  • 1 ressource a été trouvée.
  |< << Page précédente 1 Page suivante >> >| documents par page
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
Tri :   Date de référencement Editeur Auteur Titre

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

 [Ressource pédagogique]


  • Consulter la notice
  • Date de publication : 
    • 20151203  | 
  • Auteur(s) : 
    • DRAGOI Cesara  | 
  • Editeur(s) : 
    • INRIA (Institut national de recherche en informatique et automatique)  | 
  • Origine de la fiche : 
    • Canal-u.fr
  • 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 ver...


  • Référencé le  : 
    • 05-01-2016
    |< << Page précédente 1 Page suivante >> >| documents par page
    © 2006-2010 ORI-OAI