Verification, Model Checking, and Abstract Interpretation.pdf

Verification, Model Checking, and Abstract Interpretation

Date de parution

TÉLÉCHARGER

LIRE EN LIGNE

TAILLE DU FICHIER 6.51 MB
ISBN 9783642358722
AUTEUR Josh Berdine
FICHIER Verification, Model Checking, and Abstract Interpretation.pdf
DATE 07/05/2020

Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings . Kenneth Mcmillan 1 Xavier Rival 2 Détails. 1 Microsoft Research [Redmond] 2 ANTIQUE - Analyse Statique par Interprétation Abstraite