Cover Image
QR Code

Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : Proceedings /

Selección de ponencias de la décima quinta Conferencia Internacional sobre Verificación, Comprobación de Modelos e Interpretación de Resúmenes, celebrada en San Diego, EUA, en enero de 2014. Los artículos cubren una amplia gama de temas que incluyen verificación de programas, verificación de modelos...

Full description

Saved in:
Corporate Author: International Conference on Verification, Model Checking and Abstract Interpretation ( San Diego, EUA)
Other Authors: McMillan, Kenneth L. (edición), Rival, Xavier (edición)
Format: Conference Proceeding Book
Language:English
Published: Heidelberg, Alemania : Springer, 2014, c2014
Series:(Lecture Notes in Computer Science ; 8318)
Subjects:
Intérpretes (Software)
Compiladores (Software)
Paquetes (Software) - > Reutilización
Arquitectura de Software - > Prueba y Medición
Paquetes (Software) - > Prueba y Medición - > Tema Principal
Programación (Software)
Ingeniería de Software
Desarrollo de Sistemas - > Congresos - > Tema Principal
Sistemas Computacionales
Ingeniería Computacional
Online Access:Ver documento en línea
Tags: Add Tag
No Tags, Be the first to tag this record!
Summary:Selección de ponencias de la décima quinta Conferencia Internacional sobre Verificación, Comprobación de Modelos e Interpretación de Resúmenes, celebrada en San Diego, EUA, en enero de 2014. Los artículos cubren una amplia gama de temas que incluyen verificación de programas, verificación de modelos, interpretación abstracta y dominios abstractos; síntesis de programas, análisis estático, sistemas de tipos y métodos deductivos; certificación de programas, técnicas de depuración, transformación de programas, optimización, sistemas híbridos y ciber físicos.
Physical Description:1 libro electrónico en línea (XVIII, 493 p.)
1 recurso en línea
ISBN:978-3-642-54013-4
Access:Licencias ilimitadas

Similar Items