26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / Biondi, Fabrizio ; Given-Wilson, Thomas ; Legay, Axel  

Público ISBD Ningún comentario para este registro. Título : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings Tipo de documento: documento electrónico Autores: Biondi, Fabrizio, ; Given-Wilson, Thomas, ; Legay, Axel, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: X, 261 p. 605 ilustraciones, 41 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-30923-7 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  Algoritmos  Teoría de las máquinas  Simulación por ordenador  Computadoras digitales electrónicas  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Modelado por computadora  Rendimiento y evaluación del sistema Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas del 26º Simposio Internacional sobre Software de Verificación de Modelos, SPIN 2019, celebrado en Beijing, China, en julio de 2019. Los 11 artículos completos presentados y 2 artículos sobre herramientas de demostración fueron cuidadosamente revisados ​​y seleccionados entre 29 presentaciones. Los temas cubiertos incluyen técnicas de verificación formal para el análisis automatizado de software; análisis formal para lenguajes de modelado, como UML/gráficos de estado; lenguajes de especificación formal, lógica temporal, diseño por contrato; verificación de modelos, demostración automatizada de teoremas, incluidos SAT y SMT; verificar compiladores; técnicas de abstracción y ejecución simbólica; y mucho más. . Nota de contenido: Model Verification Through Dependency Graphs -- Model Checking Branching Time Properties for Incomplete Markov Chains -- A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table -- From Dynamic State Machines to Promela -- String abstraction for model checking of C programs -- Swarm Model Checking on the GPU -- Statistical Model Checking of Complex Robotic Systems -- STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph -- Extracting Safe Thread Schedules from Incomplete Model Checking Results -- Learning Guided Enumerative Synthesis for Superoptimization -- Applying Model Checking Approach with Floating Point Arithmetic -- Conformance Testing of Schedulers for DSL-based Model Checking -- A Study of Learning Data Structure Invariants Using Off-the-shelf Tools -- VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. 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 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings [documento electrónico] / Biondi, Fabrizio, ; Given-Wilson, Thomas, ; Legay, Axel,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - X, 261 p. 605 ilustraciones, 41 ilustraciones en color. ISBN : 978-3-030-30923-7 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  Algoritmos  Teoría de las máquinas  Simulación por ordenador  Computadoras digitales electrónicas  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Modelado por computadora  Rendimiento y evaluación del sistema Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas del 26º Simposio Internacional sobre Software de Verificación de Modelos, SPIN 2019, celebrado en Beijing, China, en julio de 2019. Los 11 artículos completos presentados y 2 artículos sobre herramientas de demostración fueron cuidadosamente revisados ​​y seleccionados entre 29 presentaciones. Los temas cubiertos incluyen técnicas de verificación formal para el análisis automatizado de software; análisis formal para lenguajes de modelado, como UML/gráficos de estado; lenguajes de especificación formal, lógica temporal, diseño por contrato; verificación de modelos, demostración automatizada de teoremas, incluidos SAT y SMT; verificar compiladores; técnicas de abstracción y ejecución simbólica; y mucho más. . Nota de contenido: Model Verification Through Dependency Graphs -- Model Checking Branching Time Properties for Incomplete Markov Chains -- A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table -- From Dynamic State Machines to Promela -- String abstraction for model checking of C programs -- Swarm Model Checking on the GPU -- Statistical Model Checking of Complex Robotic Systems -- STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph -- Extracting Safe Thread Schedules from Incomplete Model Checking Results -- Learning Guided Enumerative Synthesis for Superoptimization -- Applying Model Checking Approach with Floating Point Arithmetic -- Conformance Testing of Schedulers for DSL-based Model Checking -- A Study of Learning Data Structure Invariants Using Off-the-shelf Tools -- VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. 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

---

1 (1 - 1 / 1) Par page : 25 50 100 200