Título :	9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Tipo de documento:	documento electrónico
Autores:	Margaria, Tiziana, ; Steffen, Bernhard,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2020
Número de páginas:	XXIII, 582 p. 2427 ilustraciones, 110 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-61362-4
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  Ciencias de la Computación  Inteligencia artificial  Sistemas informáticos  Lógica informática y fundamentos de la programación  Implementación de sistema informático
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	El conjunto de tres volúmenes LNCS 12476 - 12478 constituye las actas arbitradas del 9.º Simposio internacional sobre el aprovechamiento de aplicaciones de métodos formales, ISoLA 2020, que estaba previsto que se llevara a cabo del 20 al 30 de octubre de 2020 en Rodas, Grecia. El evento en sí se pospuso hasta 2021 debido a la pandemia de COVID-19. Los artículos presentados fueron cuidadosamente revisados ​​y seleccionados para su inclusión en las actas. Cada volumen se centra en un tema individual con títulos de secciones temáticas dentro del volumen: Parte I, Principios de verificación: modularidad y (des)composición en la verificación; X por construcción: la corrección se encuentra con la probabilidad; 30 años de verificación de modelos estadísticos; Verificación y Validación de Sistemas Concurrentes y Distribuidos. Parte II, Principios de ingeniería: Automatización de la reingeniería del software; Ingeniería Rigurosa de Sistemas Adaptativos Colectivos. Parte III, Aplicaciones: Contratos inteligentes confiables: estado del arte, aplicaciones, desafíos y direcciones futuras; Verificación automatizada del software de control integrado; Métodos formales para la Computación Distribuida en futuros sistemas FERROVIARIOS. .
Nota de contenido:	Who Carries the Burden of Modularity? -- On Testing Message-Passing Components -- Composing Communicating Systems, Synchronously -- Modular Verification of JML Contracts Using Bounded Model Checking -- On Slicing Software Product Line Signatures -- Assumption-Commitment Types for Resource Management in Virtually Timed Ambients -- Abstraction and Genericity in Why3 -- Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework -- An Interface Theory for Program Verification -- Scaling Correctness-by-Construction -- X-by-Construction: Correctness meets Probability -- Correctness by construction for probabilistic programs -- Components in Probabilistic Systems: Suitable by Construction -- Behavioral Specification Theories: an Algebraic Taxonomy -- Approximating Euclidean by Imprecise Markov Decision Processes -- Shield Synthesis for Reinforcement Learning -- Inferring Performance From Code: A Review -- 30 years of Statistical Model Checking -- Statistical Model Checking: Black or White? -- Probabilistic Mission Planning and Analysis for Multi-agent Systems -- 30 Years of Simulation-Based Quantitative Analysis Tools: a Comparison Experiment between Möbius and Uppaal SMC -- Fluid Model-Checking in UPPAAL for Covid-19 -- Improving Secure and Robust Patient Service Delivery -- Verification and Validation of Concurrent and Distributed Systems (Track Summary) -- Step-wise Development of Provably Correct Actor Systems -- Violation Witnesses and Result Validation for Multi-Threaded Programs -- Tendermint Blockchain Synchronization: Formal Specification and Model Checking -- Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project -- Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs -- Formal Verification of an Industrial Distributed Algorithm: an Experience Report -- Deploying TESTAR to enable remote testing in an industrial CI pipeline: a case-based evaluation -- A Formal Model of the Kubernetes Container Framework.
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

9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I [documento electrónico] / Margaria, Tiziana, ; Steffen, Bernhard,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XXIII, 582 p. 2427 ilustraciones, 110 ilustraciones en color.
ISBN : 978-3-030-61362-4
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  Ciencias de la Computación  Inteligencia artificial  Sistemas informáticos  Lógica informática y fundamentos de la programación  Implementación de sistema informático
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	El conjunto de tres volúmenes LNCS 12476 - 12478 constituye las actas arbitradas del 9.º Simposio internacional sobre el aprovechamiento de aplicaciones de métodos formales, ISoLA 2020, que estaba previsto que se llevara a cabo del 20 al 30 de octubre de 2020 en Rodas, Grecia. El evento en sí se pospuso hasta 2021 debido a la pandemia de COVID-19. Los artículos presentados fueron cuidadosamente revisados ​​y seleccionados para su inclusión en las actas. Cada volumen se centra en un tema individual con títulos de secciones temáticas dentro del volumen: Parte I, Principios de verificación: modularidad y (des)composición en la verificación; X por construcción: la corrección se encuentra con la probabilidad; 30 años de verificación de modelos estadísticos; Verificación y Validación de Sistemas Concurrentes y Distribuidos. Parte II, Principios de ingeniería: Automatización de la reingeniería del software; Ingeniería Rigurosa de Sistemas Adaptativos Colectivos. Parte III, Aplicaciones: Contratos inteligentes confiables: estado del arte, aplicaciones, desafíos y direcciones futuras; Verificación automatizada del software de control integrado; Métodos formales para la Computación Distribuida en futuros sistemas FERROVIARIOS. .
Nota de contenido:	Who Carries the Burden of Modularity? -- On Testing Message-Passing Components -- Composing Communicating Systems, Synchronously -- Modular Verification of JML Contracts Using Bounded Model Checking -- On Slicing Software Product Line Signatures -- Assumption-Commitment Types for Resource Management in Virtually Timed Ambients -- Abstraction and Genericity in Why3 -- Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework -- An Interface Theory for Program Verification -- Scaling Correctness-by-Construction -- X-by-Construction: Correctness meets Probability -- Correctness by construction for probabilistic programs -- Components in Probabilistic Systems: Suitable by Construction -- Behavioral Specification Theories: an Algebraic Taxonomy -- Approximating Euclidean by Imprecise Markov Decision Processes -- Shield Synthesis for Reinforcement Learning -- Inferring Performance From Code: A Review -- 30 years of Statistical Model Checking -- Statistical Model Checking: Black or White? -- Probabilistic Mission Planning and Analysis for Multi-agent Systems -- 30 Years of Simulation-Based Quantitative Analysis Tools: a Comparison Experiment between Möbius and Uppaal SMC -- Fluid Model-Checking in UPPAAL for Covid-19 -- Improving Secure and Robust Patient Service Delivery -- Verification and Validation of Concurrent and Distributed Systems (Track Summary) -- Step-wise Development of Provably Correct Actor Systems -- Violation Witnesses and Result Validation for Multi-Threaded Programs -- Tendermint Blockchain Synchronization: Formal Specification and Model Checking -- Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project -- Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs -- Formal Verification of an Industrial Distributed Algorithm: an Experience Report -- Deploying TESTAR to enable remote testing in an industrial CI pipeline: a case-based evaluation -- A Formal Model of the Kubernetes Container Framework.
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