Separation Logic Verification of C Programs with an SMT...

Electronic Notes in Theoretical Computer Science 2009 Vol. 254; Iss. none

Separation Logic Verification of C Programs with an SMT Solver

Matko Botinčan, Matthew Parkinson, Wolfram Schulte
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
254
Année:
2009
Langue:
english
Pages:
19
DOI:
10.1016/j.entcs.2009.09.057
Fichier:
PDF, 488 KB
english, 2009
La conversion en est effectuée
La conversion en a échoué