Título :	9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV
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:	2021
Número de páginas:	XII, 265 p. 89 ilustraciones, 72 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-83723-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
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	El conjunto de cuatro volúmenes LNCS 12476 - 12479 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. Parte IV, Herramientas y Tendencias: De la Verificación a la Explicación; Ingeniería de Gemelos Digitales para Sistemas Ciberfísicos; Herramientas de verificación de software.
Nota de contenido:	From Verification to Explanation (Track Introduction) -- An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces -- TraceVis: Towards Visualization for Deep Statistical Model Checking -- Engineering of Digital Twins for Cyber-Physical Systems -- Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model -- Uncertainty quantification and runtime monitoring using environment-aware digital twins -- Designing Distributed Control with Hybrid Active Objects -- Towards a Digital Twin - Modelling an Agricultural Vehicle -- Digital Modelling in the Railways -- Engineering a Digital Twin for Manual Assembling -- Towards Digital Twins for Knowledge-driven Construction Progress and Predictive Safety Analysis on a Construction Site -- Software Verification Tools (Track Introduction) -- Benchmarking Open-Source Static Analyzers for Security Testing for C -- Verification of Liveness and Safety in BP using BPjs -- On Correctness, Precision, and Performance in Quantitative Verification -- Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees.
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 IV [documento electrónico] / Margaria, Tiziana, ; Steffen, Bernhard,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XII, 265 p. 89 ilustraciones, 72 ilustraciones en color.
ISBN : 978-3-030-83723-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
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	El conjunto de cuatro volúmenes LNCS 12476 - 12479 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. Parte IV, Herramientas y Tendencias: De la Verificación a la Explicación; Ingeniería de Gemelos Digitales para Sistemas Ciberfísicos; Herramientas de verificación de software.
Nota de contenido:	From Verification to Explanation (Track Introduction) -- An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces -- TraceVis: Towards Visualization for Deep Statistical Model Checking -- Engineering of Digital Twins for Cyber-Physical Systems -- Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model -- Uncertainty quantification and runtime monitoring using environment-aware digital twins -- Designing Distributed Control with Hybrid Active Objects -- Towards a Digital Twin - Modelling an Agricultural Vehicle -- Digital Modelling in the Railways -- Engineering a Digital Twin for Manual Assembling -- Towards Digital Twins for Knowledge-driven Construction Progress and Predictive Safety Analysis on a Construction Site -- Software Verification Tools (Track Introduction) -- Benchmarking Open-Source Static Analyzers for Security Testing for C -- Verification of Liveness and Safety in BP using BPjs -- On Correctness, Precision, and Performance in Quantitative Verification -- Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees.
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