Título :	21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Tipo de documento:	documento electrónico
Autores:	Beyer, Dirk, ; Zufferey, Damien,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2020
Número de páginas:	XIV, 471 p. 109 ilustraciones
ISBN/ISSN/DL:	978-3-030-39322-9
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Ciencias de la Computación  Ingeniería Informática  Red de computadoras  Programación lógica  Inteligencia artificial  Ingeniería de software  Lógica informática y fundamentos de la programación  Ingeniería Informática y Redes  Lógica en IA  Ciencia de los datos
Índice Dewey:	40.151
Resumen:	Este libro constituye las actas de la 21.ª Conferencia Internacional sobre Verificación, Verificación de Modelos e Interpretación de Resumenes, VMCAI 2020. Los 21 artículos presentados en este volumen fueron cuidadosamente revisados ​​a partir de 44 presentaciones. VMCAI proporciona un foro para investigadores de las comunidades de verificación, verificación de modelos e interpretación abstracta, facilitando la interacción, la fertilización cruzada y el avance de métodos híbridos que combinan estas y áreas relacionadas. .
Nota de contenido:	Witnessing Secure Compilation -- BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results -- Fixing Code That Explodes Under Symbolic Evaluation -- The Correctness of a Code Generator for a Functional Language -- Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification -- Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction -- A Systematic Approach to Abstract Interpretation of Program Transformations -- Sharing ghost variables in a collection of abstract domains -- Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation -- Synthesizing Environment Invariants for Modular Hardware Verification -- Systematic Classi cation of Attackers via Bounded Model Checking -- Cheap CTL Compassion in NuSMV -- A Cooperative Parallelization Approach for Property-Directed k-Induction -- Generalized Property-Directed Reachability for Hybrid Systems -- Language Inclusion for Finite Prime Event Structures -- Promptness and Bounded Fairness in Concurrent and Parameterized Systems -- Solving LIA* Using Approximations -- Formalizing and checking Multilevel Consistency -- Practical Abstractions for Automated Veri cation of Shared-Memory Concurrency -- How to Win First-Order Safety Games -- Improving Parity Game Solvers with Justifications.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings [documento electrónico] / Beyer, Dirk, ; Zufferey, Damien,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XIV, 471 p. 109 ilustraciones.
ISBN : 978-3-030-39322-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Ciencias de la Computación  Ingeniería Informática  Red de computadoras  Programación lógica  Inteligencia artificial  Ingeniería de software  Lógica informática y fundamentos de la programación  Ingeniería Informática y Redes  Lógica en IA  Ciencia de los datos
Índice Dewey:	40.151
Resumen:	Este libro constituye las actas de la 21.ª Conferencia Internacional sobre Verificación, Verificación de Modelos e Interpretación de Resumenes, VMCAI 2020. Los 21 artículos presentados en este volumen fueron cuidadosamente revisados ​​a partir de 44 presentaciones. VMCAI proporciona un foro para investigadores de las comunidades de verificación, verificación de modelos e interpretación abstracta, facilitando la interacción, la fertilización cruzada y el avance de métodos híbridos que combinan estas y áreas relacionadas. .
Nota de contenido:	Witnessing Secure Compilation -- BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results -- Fixing Code That Explodes Under Symbolic Evaluation -- The Correctness of a Code Generator for a Functional Language -- Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification -- Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction -- A Systematic Approach to Abstract Interpretation of Program Transformations -- Sharing ghost variables in a collection of abstract domains -- Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation -- Synthesizing Environment Invariants for Modular Hardware Verification -- Systematic Classi cation of Attackers via Bounded Model Checking -- Cheap CTL Compassion in NuSMV -- A Cooperative Parallelization Approach for Property-Directed k-Induction -- Generalized Property-Directed Reachability for Hybrid Systems -- Language Inclusion for Finite Prime Event Structures -- Promptness and Bounded Fairness in Concurrent and Parameterized Systems -- Solving LIA* Using Approximations -- Formalizing and checking Multilevel Consistency -- Practical Abstractions for Automated Veri cation of Shared-Memory Concurrency -- How to Win First-Order Safety Games -- Improving Parity Game Solvers with Justifications.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i