| TÃtulo : |
Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings / |
| Tipo de documento: |
documento electrónico |
| Autores: |
Hou, Zhe, ; Ganesh, Vijay, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2021 |
| Número de páginas: |
XV, 382 p. 103 ilustraciones, 49 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-88885-5 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Idioma : |
Inglés (eng) |
| Palabras clave: |
IngenierÃa de software Inteligencia artificial Ordenadores IngenierÃa Informática Red de computadoras Hardware de la computadora IngenierÃa Informática y Redes |
| Clasificación: |
005.1 |
| Resumen: |
Este libro constituye las actas arbitradas del 19.º Simposio Internacional sobre TecnologÃa Automatizada para la Verificación y el Análisis, ATVA 2021, celebrado en Gold Coast, Australia, en octubre de 2021. El simposio está dedicado a promover la investigación en aspectos teóricos y prácticos del análisis, la verificación y la automatización. sÃntesis al proporcionar un lugar internacional para que los investigadores presenten nuevos resultados. Los 19 artÃculos regulares presentados junto con 4 artÃculos de herramientas y 1 artÃculo invitado fueron cuidadosamente revisados ​​y seleccionados entre 75 presentaciones. Los artÃculos se dividen en los siguientes subtÃtulos temáticos: TeorÃa de autómatas; Aprendizaje automático para métodos formales; demostración de teoremas y herramientas; Comprobación de modelos; Análisis ProbabilÃstico; Verificación de Software y Hardware; SÃntesis y Aproximación de Sistemas; y Verificación del Aprendizaje Automático. |
| Nota de contenido: |
Invited Paper -- Linear Temporal Logic  – From Infinite to Finite Horizon -- Automata Theory -- Determinization and Limit-determinization of Emerson-Lei automata -- Automatic discovery of fair paths in infinite-state transition systems -- Certifying DFA Bounds for Recognition and Separation -- Machine Learning for Formal Methods -- AALpy: An Active Automata Learning Library -- Learning Linear Temporal Properties from Noisy Data: A MaxSAT-based Approach -- Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems -- Theorem Proving and Tools -- A Formal Semantics of the GraalVM Intermediate Representation -- A Verified Decision Procedure for Orders in Isabelle/HOL -- PJBDD: A BDD Library for Java and Multi-Threading -- Model Checking -- Live Synthesis -- Faster Pushdown Reachability Analysis with Applications in Network Verification -- Verifying Verified Code -- Probabilistic Analysis -- Probabilistic causes in Markov Chains -- TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments -- AQUA: Automated Quantized Inference for Probabilistic Programs -- Software and Hardware Verification -- Proving SIFA Protection of Masked Redundant Circuits -- Verification by Gambling on Program Slices -- Runtime Enforcement of Hyperproperties -- System Synthesis and Approximation -- Compositional Synthesis of Modular Systems -- Event-B Refinement for Continuous Behaviours Approximation -- Incorporating Monitors in Reactive Synthesis without Paying the Price -- Verification of Machine Learning -- pyNever: a Framework for Learning and Verification of Neural Networks -- Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions. The papers are divided into the following topical sub-headings: Automata Theory; Machine learning for Formal Methods; Theorem Proving and Tools; Model Checking; Probabilistic Analysis; Software and Hardware Verification; System Synthesis and Approximation; and Verification of Machine Learning. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings / [documento electrónico] / Hou, Zhe, ; Ganesh, Vijay, . - 1 ed. . - [s.l.] : Springer, 2021 . - XV, 382 p. 103 ilustraciones, 49 ilustraciones en color. ISBN : 978-3-030-88885-5 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés ( eng)
| Palabras clave: |
IngenierÃa de software Inteligencia artificial Ordenadores IngenierÃa Informática Red de computadoras Hardware de la computadora IngenierÃa Informática y Redes |
| Clasificación: |
005.1 |
| Resumen: |
Este libro constituye las actas arbitradas del 19.º Simposio Internacional sobre TecnologÃa Automatizada para la Verificación y el Análisis, ATVA 2021, celebrado en Gold Coast, Australia, en octubre de 2021. El simposio está dedicado a promover la investigación en aspectos teóricos y prácticos del análisis, la verificación y la automatización. sÃntesis al proporcionar un lugar internacional para que los investigadores presenten nuevos resultados. Los 19 artÃculos regulares presentados junto con 4 artÃculos de herramientas y 1 artÃculo invitado fueron cuidadosamente revisados ​​y seleccionados entre 75 presentaciones. Los artÃculos se dividen en los siguientes subtÃtulos temáticos: TeorÃa de autómatas; Aprendizaje automático para métodos formales; demostración de teoremas y herramientas; Comprobación de modelos; Análisis ProbabilÃstico; Verificación de Software y Hardware; SÃntesis y Aproximación de Sistemas; y Verificación del Aprendizaje Automático. |
| Nota de contenido: |
Invited Paper -- Linear Temporal Logic  – From Infinite to Finite Horizon -- Automata Theory -- Determinization and Limit-determinization of Emerson-Lei automata -- Automatic discovery of fair paths in infinite-state transition systems -- Certifying DFA Bounds for Recognition and Separation -- Machine Learning for Formal Methods -- AALpy: An Active Automata Learning Library -- Learning Linear Temporal Properties from Noisy Data: A MaxSAT-based Approach -- Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems -- Theorem Proving and Tools -- A Formal Semantics of the GraalVM Intermediate Representation -- A Verified Decision Procedure for Orders in Isabelle/HOL -- PJBDD: A BDD Library for Java and Multi-Threading -- Model Checking -- Live Synthesis -- Faster Pushdown Reachability Analysis with Applications in Network Verification -- Verifying Verified Code -- Probabilistic Analysis -- Probabilistic causes in Markov Chains -- TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments -- AQUA: Automated Quantized Inference for Probabilistic Programs -- Software and Hardware Verification -- Proving SIFA Protection of Masked Redundant Circuits -- Verification by Gambling on Program Slices -- Runtime Enforcement of Hyperproperties -- System Synthesis and Approximation -- Compositional Synthesis of Modular Systems -- Event-B Refinement for Continuous Behaviours Approximation -- Incorporating Monitors in Reactive Synthesis without Paying the Price -- Verification of Machine Learning -- pyNever: a Framework for Learning and Verification of Neural Networks -- Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions. The papers are divided into the following topical sub-headings: Automata Theory; Machine learning for Formal Methods; Theorem Proving and Tools; Model Checking; Probabilistic Analysis; Software and Hardware Verification; System Synthesis and Approximation; and Verification of Machine Learning. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsqueda
