Título :	8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
Tipo de documento:	documento electrónico
Autores:	Raschke, Alexander, ; Méry, Dominique,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2021
Número de páginas:	X, 167 p. 41 ilustraciones, 33 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-77543-8
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:	Teoría de las máquinas  Ingeniería Informática  Red de computadoras  Programación lógica  Software de la aplicacion  Compiladores (programas informáticos)  Lenguajes formales y teoría de los autómatas  Ingeniería Informática y Redes  Lógica en IA  Aplicaciones informáticas y de sistemas de información  Compiladores e intérpretes
Índice Dewey:	5.131
Resumen:	Este libro constituye las actas de la 8.ª Conferencia Internacional sobre Métodos Rigurosos Basados ​​en el Estado, ABZ 2021, que estaba prevista para realizarse en Ulm, Alemania, del 6 al 11 de junio de 2021. La conferencia cambió a un formato en línea debido a la pandemia de COVID. -19 pandemia. Los 6 artículos completos y 8 artículos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. Las actas también incluyen contribuciones a 3 simposios de doctorado. Se ocupan de métodos formales basados ​​en estados y en máquinas, principalmente máquinas de estados abstractos (ASM), Alloy, B, TLA+, VDM y Z.
Nota de contenido:	Regular Research Articles -- Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams -- Towards ASM-based automated formal verification of security protocols -- Verifying System-level Security of a Smart Ballot Box -- Proving the safety of a Sliding Window Protocol with Event B -- Event-B formalization of Event-B contexts -- Validation of Formal Models by Timed Probabilistic Simulation -- Short Articles -- Sterling: A Web-based Visualizer for Relational Modeling Languages -- Extending ASMETA with time features -- About the Concolic Execution and Symbolic ASM Function Promotion in CASM -- Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection -- The CamilleX Framework for the Rodin Platform -- Extensible Record Structures in Event-B -- Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS using Event-B -- Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application -- Short Articlesof the PhD-Symposium (Work in Progress) -- Formal Meta Engineering Event-B: Extension and Reasoning – The EB4EB Framework -- A modeling and verification framework for security protocols -- Formalizing the Institution for Event-B in the Coq Proof Assistant.
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

8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings [documento electrónico] / Raschke, Alexander, ; Méry, Dominique,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - X, 167 p. 41 ilustraciones, 33 ilustraciones en color.
ISBN : 978-3-030-77543-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Teoría de las máquinas  Ingeniería Informática  Red de computadoras  Programación lógica  Software de la aplicacion  Compiladores (programas informáticos)  Lenguajes formales y teoría de los autómatas  Ingeniería Informática y Redes  Lógica en IA  Aplicaciones informáticas y de sistemas de información  Compiladores e intérpretes
Índice Dewey:	5.131
Resumen:	Este libro constituye las actas de la 8.ª Conferencia Internacional sobre Métodos Rigurosos Basados ​​en el Estado, ABZ 2021, que estaba prevista para realizarse en Ulm, Alemania, del 6 al 11 de junio de 2021. La conferencia cambió a un formato en línea debido a la pandemia de COVID. -19 pandemia. Los 6 artículos completos y 8 artículos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. Las actas también incluyen contribuciones a 3 simposios de doctorado. Se ocupan de métodos formales basados ​​en estados y en máquinas, principalmente máquinas de estados abstractos (ASM), Alloy, B, TLA+, VDM y Z.
Nota de contenido:	Regular Research Articles -- Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams -- Towards ASM-based automated formal verification of security protocols -- Verifying System-level Security of a Smart Ballot Box -- Proving the safety of a Sliding Window Protocol with Event B -- Event-B formalization of Event-B contexts -- Validation of Formal Models by Timed Probabilistic Simulation -- Short Articles -- Sterling: A Web-based Visualizer for Relational Modeling Languages -- Extending ASMETA with time features -- About the Concolic Execution and Symbolic ASM Function Promotion in CASM -- Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection -- The CamilleX Framework for the Rodin Platform -- Extensible Record Structures in Event-B -- Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS using Event-B -- Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application -- Short Articlesof the PhD-Symposium (Work in Progress) -- Formal Meta Engineering Event-B: Extension and Reasoning – The EB4EB Framework -- A modeling and verification framework for security protocols -- Formalizing the Institution for Event-B in the Coq Proof Assistant.
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