On Verifying Complex Properties using Symbolic Shape Analysis
2006
Fichiers
Détails
Titre
On Verifying Complex Properties using Symbolic Shape Analysis
Auteur(s)
Wies, Thomas ; Kuncak, Viktor ; Zee, Karen ; Podelski, Andreas ; Rinard, Martin
Date
2006
Note
MPI-I-2006-2-1 (Max-Planck Institute for Computer Science)
Lien supplémentaire
URL
Laboratoires
LARA
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > LARA - Laboratoire d'analyse et de raisonnement automatisés
Travail hors EPFL
Rapports techniques
Publié
Travail hors EPFL
Rapports techniques
Publié
Date de création de la notice
2007-08-21