18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings / Bouajjani, Ahmed ; Monniaux, David  

Público ISBD Ningún comentario para este título. Título : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings Tipo de documento: documento electrónico Autores: Bouajjani, Ahmed, ; Monniaux, David, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVII, 560 p. 150 ilustraciones ISBN/ISSN/DL: 978-3-319-52234-0 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: Ciencias de la Computación  Ingeniería de software  Red de computadoras  Teoría de las máquinas  Compiladores (programas informáticos)  Lógica informática y fundamentos de la programación  Redes de comunicación informática  Lenguajes formales y teoría de los autómatas  Teoría de la Computación  Compiladores e intérpretes Clasificación: Resumen: Este libro constituye las actas arbitradas de la 18.ª Conferencia Internacional sobre Verificación, Verificación de Modelos e Interpretación de Resumenes, VMCAI 2017, celebrada en París, Francia, en enero de 2017. Los 27 artículos completos junto con 3 ponencias magistrales invitadas presentadas fueron cuidadosamente revisados ​​y seleccionados de 60 presentaciones. VMCAI proporciona temas que incluyen: verificación de programas, verificación de modelos, interpretación abstracta y dominios abstractos, síntesis de programas, análisis estático, sistemas de tipos, métodos deductivos, certificación de programas, técnicas de depuración, transformación de programas, optimización, sistemas híbridos y ciberfísicos. . Nota de contenido: Bringing LTL Model Checking to Biologists -- Verified Concurrent Code: Tricks of the Trade -- Detecting Strict Aliasing Violations in the Wild -- Effective Bug Finding in C Programs with Shape and Effect Abstractions -- Synthesizing Non-Vacuous Systems -- Static Analysis of Communicating Process Using Symbolic Transducers -- Reduction of Workflow Nets for Generalized Soundness Verification -- Structuring Abstract Interpreters through State and Value Abstractions -- Matching Multiplications in Bit-Vector Formulas -- Independence Abstractions and Models of Concurrency -- Complete Abstractions and Subclassical Modal Logics -- Using Abstract Interpretation to Correct Synchronization Faults -- Property Directed Reachability for Proving Absence of Concurrent Modification Errors -- Stabilizing Floating-Point Programs Using Provenance Analysis -- Dynamic Reductions for Model Checking Concurrent Software -- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games -- Counterexample Validation and Interpolation-Based Refinement for Forest Automata -- Block-wise Abstract Interpretation by Combining Abstract Domains with SMT -- Solving Nonlinear Integer Arithmetic with MCSat -- Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms -- Efficient Elimination of Redundancies in Polyhedra Using Raytracing -- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions -- Detecting All High-Level Dataraces in an RTOS Kernel -- Reachability for Dynamic Parametric Processes -- Conjunctive Abstract Interpretation Using Paramodulation -- Reasoning in the Bernays-Schonfinkel-Ramsey Fragment of Separation Logic -- Finding Relevant Templates via the Principal Component Analysis -- Sound Bit-Precise Numerical Domains -- IC3 - Flipping the E in ICE -- Partitioned Memory Models for Program Analysis. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings [documento electrónico] / Bouajjani, Ahmed, ; Monniaux, David,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XVII, 560 p. 150 ilustraciones. ISBN : 978-3-319-52234-0 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación  Ingeniería de software  Red de computadoras  Teoría de las máquinas  Compiladores (programas informáticos)  Lógica informática y fundamentos de la programación  Redes de comunicación informática  Lenguajes formales y teoría de los autómatas  Teoría de la Computación  Compiladores e intérpretes Clasificación: Resumen: Este libro constituye las actas arbitradas de la 18.ª Conferencia Internacional sobre Verificación, Verificación de Modelos e Interpretación de Resumenes, VMCAI 2017, celebrada en París, Francia, en enero de 2017. Los 27 artículos completos junto con 3 ponencias magistrales invitadas presentadas fueron cuidadosamente revisados ​​y seleccionados de 60 presentaciones. VMCAI proporciona temas que incluyen: verificación de programas, verificación de modelos, interpretación abstracta y dominios abstractos, síntesis de programas, análisis estático, sistemas de tipos, métodos deductivos, certificación de programas, técnicas de depuración, transformación de programas, optimización, sistemas híbridos y ciberfísicos. . Nota de contenido: Bringing LTL Model Checking to Biologists -- Verified Concurrent Code: Tricks of the Trade -- Detecting Strict Aliasing Violations in the Wild -- Effective Bug Finding in C Programs with Shape and Effect Abstractions -- Synthesizing Non-Vacuous Systems -- Static Analysis of Communicating Process Using Symbolic Transducers -- Reduction of Workflow Nets for Generalized Soundness Verification -- Structuring Abstract Interpreters through State and Value Abstractions -- Matching Multiplications in Bit-Vector Formulas -- Independence Abstractions and Models of Concurrency -- Complete Abstractions and Subclassical Modal Logics -- Using Abstract Interpretation to Correct Synchronization Faults -- Property Directed Reachability for Proving Absence of Concurrent Modification Errors -- Stabilizing Floating-Point Programs Using Provenance Analysis -- Dynamic Reductions for Model Checking Concurrent Software -- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games -- Counterexample Validation and Interpolation-Based Refinement for Forest Automata -- Block-wise Abstract Interpretation by Combining Abstract Domains with SMT -- Solving Nonlinear Integer Arithmetic with MCSat -- Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms -- Efficient Elimination of Redundancies in Polyhedra Using Raytracing -- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions -- Detecting All High-Level Dataraces in an RTOS Kernel -- Reachability for Dynamic Parametric Processes -- Conjunctive Abstract Interpretation Using Paramodulation -- Reasoning in the Bernays-Schonfinkel-Ramsey Fragment of Separation Logic -- Finding Relevant Templates via the Principal Component Analysis -- Sound Bit-Precise Numerical Domains -- IC3 - Flipping the E in ICE -- Partitioned Memory Models for Program Analysis. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

Formal Techniques for Distributed Objects, Components, and Systems / Bouajjani, Ahmed ; Silva, Alexandra  

Público ISBD Ningún comentario para este título. Título : Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings Tipo de documento: documento electrónico Autores: Bouajjani, Ahmed, ; Silva, Alexandra, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 243 p. 50 ilustraciones ISBN/ISSN/DL: 978-3-319-60225-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: Ciencias de la Computación  Ingeniería de software  Inteligencia artificial  Teoría de las máquinas  Red de computadoras  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Redes de comunicación informática Clasificación: Resumen: Este libro constituye las actas de la 37.ª Conferencia Internacional IFIP WG 6.1 sobre Técnicas Formales para Objetos, Componentes y Sistemas Distribuidos, FORTE 2017, celebrada en Neuchâtel, Suiza, en junio de 2017, como parte de la 12.ª Conferencia Federada Internacional sobre Técnicas de Computación Distribuida. , DisCoTec 2017. Los 13 artículos completos revisados ​​presentados junto con 3 artículos breves y 1 artículo de herramientas fueron cuidadosamente revisados ​​y seleccionados entre 30 presentaciones. Los artículos presentan una amplia gama de temas sobre modelos de computación distribuida y métodos formales de especificación, prueba y verificación. Nota de contenido: Session types for Link failures -- Learning-based compositional parameter synthesis for event-recording automata -- Modularising opacity verification for Hybrid Transactional Memory -- Proving opacity via linearizability: a sound and complete method -- On futures for streaming data in ABS -- Session-based concurrency, reactively -- Procedural choreographic programming -- An observational approach to defining linearizability on weak memory models -- Applying a dependency mechanism in the formal development of voting protocol models using event-B -- Weak simulation quasimetric in a gossip scenario -- Reasoning about distributed secrets -- Classical higher-order processes -- Weak nominal modal logic -- Type inference of simulink hierarchical block diagrams in Isabelle -- Creating Büchi automata for multi-valued model checking -- Privacy assessment using static taint analysis -- EPTL - a temporal logic for weakly consistent systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings [documento electrónico] / Bouajjani, Ahmed, ; Silva, Alexandra,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XIV, 243 p. 50 ilustraciones. ISBN : 978-3-319-60225-7 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación  Ingeniería de software  Inteligencia artificial  Teoría de las máquinas  Red de computadoras  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Redes de comunicación informática Clasificación: Resumen: Este libro constituye las actas de la 37.ª Conferencia Internacional IFIP WG 6.1 sobre Técnicas Formales para Objetos, Componentes y Sistemas Distribuidos, FORTE 2017, celebrada en Neuchâtel, Suiza, en junio de 2017, como parte de la 12.ª Conferencia Federada Internacional sobre Técnicas de Computación Distribuida. , DisCoTec 2017. Los 13 artículos completos revisados ​​presentados junto con 3 artículos breves y 1 artículo de herramientas fueron cuidadosamente revisados ​​y seleccionados entre 30 presentaciones. Los artículos presentan una amplia gama de temas sobre modelos de computación distribuida y métodos formales de especificación, prueba y verificación. Nota de contenido: Session types for Link failures -- Learning-based compositional parameter synthesis for event-recording automata -- Modularising opacity verification for Hybrid Transactional Memory -- Proving opacity via linearizability: a sound and complete method -- On futures for streaming data in ABS -- Session-based concurrency, reactively -- Procedural choreographic programming -- An observational approach to defining linearizability on weak memory models -- Applying a dependency mechanism in the formal development of voting protocol models using event-B -- Weak simulation quasimetric in a gossip scenario -- Reasoning about distributed secrets -- Classical higher-order processes -- Weak nominal modal logic -- Type inference of simulink hierarchical block diagrams in Isabelle -- Creating Büchi automata for multi-valued model checking -- Privacy assessment using static taint analysis -- EPTL - a temporal logic for weakly consistent systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 2 / 2) Ver por página : 25 50 100 200