Verificación asistida por ordenador.

Computer Aided Verification - Búsqueda de Google

Computer Aided Verification. Lahiri, Shuvendu K. — Wang, Chao. Springer Nature, 2020. (Lecture Notes in Computer Science; Theoretical Computer Science and General Issues).

DESCARGAR VOL. 1DESCARGAR VOL. 2

DOAB: Directory of Open Access Books

Este estudio en dos volúmenes en libre acceso es el resultado de la 32ª Conferencia Internacional sobre Verificación Asistida por Ordenador, CAV 2020, celebrada en Los Ángeles, CA, EE.UU., en julio de 2020. [La conferencia se celebró virtualmente debido a la pandemia de COVID-19.]

Las 43 ponencias completas presentadas, junto con 18 ponencias sobre instrumentos y 4 estudios de casos, fueron examinadas cuidadosamente y seleccionadas entre 240 presentaciones. Los documentos se organizaron en las siguientes secciones temáticas:

Parte I: Verificación de la IA; cadena de bloques y seguridad; concurrencia; verificación del hardware y procedimientos de decisión; y sistemas híbridos y dinámicos.

Parte II: verificación del modelo; verificación del software; sistemas estocásticos; y síntesis.

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión /  Cambiar )

Google photo

Estás comentando usando tu cuenta de Google. Cerrar sesión /  Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión /  Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión /  Cambiar )

Conectando a %s