| TÃtulo : |
26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Lluch Lafuente, Alberto, ; Mavridou, Anastasia, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2021 |
| Número de páginas: |
XII, 249 p. 23 ilustraciones |
| ISBN/ISSN/DL: |
978-3-030-85248-1 |
| 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: |
Compiladores (programas informáticos) IngenierÃa Informática Red de computadoras Ciencias de la Computación Inteligencia artificial Compiladores e intérpretes IngenierÃa Informática y Redes TeorÃa de la Computación |
| Clasificación: |
005.45 |
| Resumen: |
Este libro constituye las actas del 26.º Taller internacional sobre métodos formales para sistemas crÃticos industriales, FMICS 2021, que se celebró del 24 al 26 de agosto de 2021. Estaba previsto que la conferencia se llevara a cabo en Pairs, Francia. Debido a la pandemia de COVID-19 cambió a un evento virtual. Los 10 artÃculos completos y los 6 artÃculos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 31 presentaciones. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Verificación, Seguridad y educación del programa, Modelado y validación (Evento-)B, Análisis formal, Herramientas, Generación de pruebas y Verificación probabilÃstica. |
| Nota de contenido: |
Verification -- Verification of Co-Simulation Algorithms Subject to Algebraic Loops and Adaptive Steps -- Automated Verification of Temporal Properties of Ladder Programs -- Spatial Model Checking for Smart Stations: Research Challenges -- Program Safety and Education -- Parametric Faults in Safety Critical Programs -- Modular Transformation of Java Exceptions Modulo Errors -- On education and training in formal methods for industrial critical systems -- (Event-)B Modeling and Validation -- Improving SMT Solver Integrations for the Validation of B and Event-B Models -- Standard Conformance-by-Construction with Event-B -- Formal Analysis -- Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems -- Verifying the Mathematical Library of an UAV Autopilot with Frama-C -- Formal Analysis of the UNISIG Safety Application Intermediate Sub-Layer -- Tools -- ProB2-UI: A Java-based User Interface for ProB -- Intrepid: a Scriptable and Cloud-ready SMT-based Model Checker -- Merit and Blame Assignment with Kind 2 -- Test Generation and Probabilistic Verification -- PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems -- Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System. |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings [documento electrónico] / Lluch Lafuente, Alberto, ; Mavridou, Anastasia, . - 1 ed. . - [s.l.] : Springer, 2021 . - XII, 249 p. 23 ilustraciones. ISBN : 978-3-030-85248-1 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: |
Compiladores (programas informáticos) IngenierÃa Informática Red de computadoras Ciencias de la Computación Inteligencia artificial Compiladores e intérpretes IngenierÃa Informática y Redes TeorÃa de la Computación |
| Clasificación: |
005.45 |
| Resumen: |
Este libro constituye las actas del 26.º Taller internacional sobre métodos formales para sistemas crÃticos industriales, FMICS 2021, que se celebró del 24 al 26 de agosto de 2021. Estaba previsto que la conferencia se llevara a cabo en Pairs, Francia. Debido a la pandemia de COVID-19 cambió a un evento virtual. Los 10 artÃculos completos y los 6 artÃculos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 31 presentaciones. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Verificación, Seguridad y educación del programa, Modelado y validación (Evento-)B, Análisis formal, Herramientas, Generación de pruebas y Verificación probabilÃstica. |
| Nota de contenido: |
Verification -- Verification of Co-Simulation Algorithms Subject to Algebraic Loops and Adaptive Steps -- Automated Verification of Temporal Properties of Ladder Programs -- Spatial Model Checking for Smart Stations: Research Challenges -- Program Safety and Education -- Parametric Faults in Safety Critical Programs -- Modular Transformation of Java Exceptions Modulo Errors -- On education and training in formal methods for industrial critical systems -- (Event-)B Modeling and Validation -- Improving SMT Solver Integrations for the Validation of B and Event-B Models -- Standard Conformance-by-Construction with Event-B -- Formal Analysis -- Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems -- Verifying the Mathematical Library of an UAV Autopilot with Frama-C -- Formal Analysis of the UNISIG Safety Application Intermediate Sub-Layer -- Tools -- ProB2-UI: A Java-based User Interface for ProB -- Intrepid: a Scriptable and Cloud-ready SMT-based Model Checker -- Merit and Blame Assignment with Kind 2 -- Test Generation and Probabilistic Verification -- PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems -- Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System. |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsqueda26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings / Lluch Lafuente, Alberto ; Mavridou, Anastasia
