19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings / Hou, Zhe ; Ganesh, Vijay  

Público ISBD Ningún comentario para este título. Título : 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. 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: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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. 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: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200