Información del autor
Autor Larsen, Kim Guldstrand |
Documentos disponibles escritos por este autor (4)
Crear una solicitud de compra Refinar búsqueda24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / Larsen, Kim Guldstrand ; Willemse, Tim
TÃtulo : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings Tipo de documento: documento electrónico Autores: Larsen, Kim Guldstrand, ; Willemse, Tim, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XV, 161 p. 156 ilustraciones, 33 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-27008-7 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 de software Ciencias de la Computación Inteligencia artificial Simulación por ordenador Compiladores e intérpretes TeorÃa de la Computación Modelado por computadora Clasificación: 005.45 Resumen: Este libro constituye las actas de la 24.ª Conferencia Internacional sobre Métodos Formales para Sistemas CrÃticos Industriales, FMICS 2019, celebrada en Ãmsterdam, PaÃses Bajos, en agosto de 2019. Los 9 artÃculos habituales presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 15 presentaciones. La conferencia también contó con charlas invitadas de Jaco van de Pol (Universidad de Aarhus y Universidad de Twente), junto con CONCUR, y Holger Hermanns (Universität des Saarlandes) y una sesión especial sobre métodos formales (comerciales) en la industria. El objetivo de la serie de conferencias FMICS es proporcionar un foro para investigadores interesados ​​en el desarrollo y aplicación de métodos formales en la industria. En particular, FMICS reúne a cientÃficos e ingenieros activos en el área de métodos formales e interesados ​​en intercambiar sus experiencias en el uso industrial de estos métodos. La serie de conferencias FMICS también se esfuerza por promover la investigación y el desarrollo para la mejora de métodos y herramientas formales para aplicaciones industriales. Nota de contenido: Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC -- Formal Modelling and Veriï¬cation of an Interlocking using mCRL2 -- A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas -- Multiple Analyses, Requirements Once: simplifying testing & veriï¬cation in automotive model-based development -- The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis -- Incremental development of a safety critical system combining formal methods and DSMLs -- Probabilistic Veriï¬cation for Reliable Network-on-Chip System Design -- A Simulator for LLVM Bitcode -- Veriï¬cation of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), jointly with CONCUR, and Holger Hermanns (Universität des Saarlandes) and a special session on (commercial) formal methods in industry. The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings [documento electrónico] / Larsen, Kim Guldstrand, ; Willemse, Tim, . - 1 ed. . - [s.l.] : Springer, 2019 . - XV, 161 p. 156 ilustraciones, 33 ilustraciones en color.
ISBN : 978-3-030-27008-7
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 de software Ciencias de la Computación Inteligencia artificial Simulación por ordenador Compiladores e intérpretes TeorÃa de la Computación Modelado por computadora Clasificación: 005.45 Resumen: Este libro constituye las actas de la 24.ª Conferencia Internacional sobre Métodos Formales para Sistemas CrÃticos Industriales, FMICS 2019, celebrada en Ãmsterdam, PaÃses Bajos, en agosto de 2019. Los 9 artÃculos habituales presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 15 presentaciones. La conferencia también contó con charlas invitadas de Jaco van de Pol (Universidad de Aarhus y Universidad de Twente), junto con CONCUR, y Holger Hermanns (Universität des Saarlandes) y una sesión especial sobre métodos formales (comerciales) en la industria. El objetivo de la serie de conferencias FMICS es proporcionar un foro para investigadores interesados ​​en el desarrollo y aplicación de métodos formales en la industria. En particular, FMICS reúne a cientÃficos e ingenieros activos en el área de métodos formales e interesados ​​en intercambiar sus experiencias en el uso industrial de estos métodos. La serie de conferencias FMICS también se esfuerza por promover la investigación y el desarrollo para la mejora de métodos y herramientas formales para aplicaciones industriales. Nota de contenido: Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC -- Formal Modelling and Veriï¬cation of an Interlocking using mCRL2 -- A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas -- Multiple Analyses, Requirements Once: simplifying testing & veriï¬cation in automotive model-based development -- The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis -- Incremental development of a safety critical system combining formal methods and DSMLs -- Probabilistic Veriï¬cation for Reliable Network-on-Chip System Design -- A Simulator for LLVM Bitcode -- Veriï¬cation of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), jointly with CONCUR, and Holger Hermanns (Universität des Saarlandes) and a special session on (commercial) formal methods in industry. The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I Tipo de documento: documento electrónico Autores: Groote, Jan Friso, ; Larsen, Kim Guldstrand, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XXI, 471 p. 106 ilustraciones ISBN/ISSN/DL: 978-3-030-72016-2 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: Ciencias de la Computación IngenierÃa Informática Red de computadoras Microprogramación Programación lógica TeorÃa de la Computación IngenierÃa Informática y Redes Estructuras de control y microprogramación. Lógica en IA Clasificación: 40.151 Resumen: Este conjunto de dos volúmenes de acceso abierto constituye las actas de la 27.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, TACAS 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y práctica del software, ETAPS 2021. Se planeó que la conferencia se llevara a cabo en Luxemburgo y cambió a un formato en lÃnea debido a la pandemia de COVID-19. El total de 41 artÃculos completos presentados en las actas fue cuidadosamente revisado y seleccionado entre 141 presentaciones. El volumen también contiene 7 documentos de herramientas; 6 artÃculos de demostración de herramientas, 9 artÃculos de competencia SV-Comp. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Parte I: TeorÃa de juegos; Verificación SMT; Probabilidades; Sistemas Temporizados; Redes neuronales; Análisis de la Comunicación en Red. Parte II: Técnicas de verificación (no SMT); Estudios de caso; Generación/Validación de Pruebas; Papeles para herramientas; Documentos de demostración de herramientas; Documentos del concurso de herramientas SV-Comp. Nota de contenido: Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. . Tipo de medio : Computadora Summary : This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I [documento electrónico] / Groote, Jan Friso, ; Larsen, Kim Guldstrand, . - 1 ed. . - [s.l.] : Springer, 2021 . - XXI, 471 p. 106 ilustraciones.
ISBN : 978-3-030-72016-2
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: Ciencias de la Computación IngenierÃa Informática Red de computadoras Microprogramación Programación lógica TeorÃa de la Computación IngenierÃa Informática y Redes Estructuras de control y microprogramación. Lógica en IA Clasificación: 40.151 Resumen: Este conjunto de dos volúmenes de acceso abierto constituye las actas de la 27.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, TACAS 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y práctica del software, ETAPS 2021. Se planeó que la conferencia se llevara a cabo en Luxemburgo y cambió a un formato en lÃnea debido a la pandemia de COVID-19. El total de 41 artÃculos completos presentados en las actas fue cuidadosamente revisado y seleccionado entre 141 presentaciones. El volumen también contiene 7 documentos de herramientas; 6 artÃculos de demostración de herramientas, 9 artÃculos de competencia SV-Comp. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Parte I: TeorÃa de juegos; Verificación SMT; Probabilidades; Sistemas Temporizados; Redes neuronales; Análisis de la Comunicación en Red. Parte II: Técnicas de verificación (no SMT); Estudios de caso; Generación/Validación de Pruebas; Papeles para herramientas; Documentos de demostración de herramientas; Documentos del concurso de herramientas SV-Comp. Nota de contenido: Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. . Tipo de medio : Computadora Summary : This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II Tipo de documento: documento electrónico Autores: Groote, Jan Friso, ; Larsen, Kim Guldstrand, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XXI, 465 p. 91 ilustraciones ISBN/ISSN/DL: 978-3-030-72013-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: Ciencias de la Computación IngenierÃa Informática Red de computadoras Microprogramación IngenierÃa de software TeorÃa de la Computación IngenierÃa Informática y Redes Estructuras de control y microprogramación. Clasificación: 40.151 Resumen: Este conjunto de dos volúmenes de acceso abierto constituye las actas de la 27.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, TACAS 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y práctica del software, ETAPS 2021. Se planeó que la conferencia se llevara a cabo en Luxemburgo y cambió a un formato en lÃnea debido a la pandemia de COVID-19. El total de 41 artÃculos completos presentados en las actas fue cuidadosamente revisado y seleccionado entre 141 presentaciones. El volumen también contiene 7 documentos de herramientas; 6 artÃculos de demostración de herramientas, 9 artÃculos de competencia SV-Comp. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Parte I: TeorÃa de juegos; Verificación SMT; Probabilidades; Sistemas Temporizados; Redes neuronales; Análisis de la Comunicación en Red. Parte II: Técnicas de verificación (no SMT); Estudios de caso; Generación/Validación de Pruebas; Papeles para herramientas; Documentos de demostración de herramientas; Documentos del concurso de herramientas SV-Comp. Nota de contenido: Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). Tipo de medio : Computadora Summary : This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II [documento electrónico] / Groote, Jan Friso, ; Larsen, Kim Guldstrand, . - 1 ed. . - [s.l.] : Springer, 2021 . - XXI, 465 p. 91 ilustraciones.
ISBN : 978-3-030-72013-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: Ciencias de la Computación IngenierÃa Informática Red de computadoras Microprogramación IngenierÃa de software TeorÃa de la Computación IngenierÃa Informática y Redes Estructuras de control y microprogramación. Clasificación: 40.151 Resumen: Este conjunto de dos volúmenes de acceso abierto constituye las actas de la 27.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, TACAS 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y práctica del software, ETAPS 2021. Se planeó que la conferencia se llevara a cabo en Luxemburgo y cambió a un formato en lÃnea debido a la pandemia de COVID-19. El total de 41 artÃculos completos presentados en las actas fue cuidadosamente revisado y seleccionado entre 141 presentaciones. El volumen también contiene 7 documentos de herramientas; 6 artÃculos de demostración de herramientas, 9 artÃculos de competencia SV-Comp. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Parte I: TeorÃa de juegos; Verificación SMT; Probabilidades; Sistemas Temporizados; Redes neuronales; Análisis de la Comunicación en Red. Parte II: Técnicas de verificación (no SMT); Estudios de caso; Generación/Validación de Pruebas; Papeles para herramientas; Documentos de demostración de herramientas; Documentos del concurso de herramientas SV-Comp. Nota de contenido: Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). Tipo de medio : Computadora Summary : This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings Tipo de documento: documento electrónico Autores: Larsen, Kim Guldstrand, ; Sokolsky, Oleg, ; Wang, Ji, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVIII, 351 p. 74 ilustraciones ISBN/ISSN/DL: 978-3-319-69483-2 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: IngenierÃa de software Ciencias de la Computación TeorÃa de las máquinas Simulación por ordenador Informática Estadistica matematica Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Modelado por computadora Probabilidad y EstadÃstica en Informática Clasificación: 005.1 Resumen: Este libro constituye las actas del Tercer Simposio Internacional sobre IngenierÃa de Software Confiable: TeorÃas, Herramientas y Aplicaciones, SETTA 2017, celebrado en Changsha, China, en octubre de 2017. Los 19 artÃculos completos presentados junto con 3 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados. de 31 presentaciones. El objetivo del simposio es reunir a investigadores y profesionales internacionales en el campo de la tecnologÃa de software. Su atención se centra en el análisis probabilÃstico y estadÃstico; sistemas temporizados e hÃbridos; análisis de programas; modelado y verificación; formalización; y herramientas. Nota de contenido: Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification.- Formalization -- Tools. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October 2017. The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings [documento electrónico] / Larsen, Kim Guldstrand, ; Sokolsky, Oleg, ; Wang, Ji, . - 1 ed. . - [s.l.] : Springer, 2017 . - XVIII, 351 p. 74 ilustraciones.
ISBN : 978-3-319-69483-2
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: IngenierÃa de software Ciencias de la Computación TeorÃa de las máquinas Simulación por ordenador Informática Estadistica matematica Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Modelado por computadora Probabilidad y EstadÃstica en Informática Clasificación: 005.1 Resumen: Este libro constituye las actas del Tercer Simposio Internacional sobre IngenierÃa de Software Confiable: TeorÃas, Herramientas y Aplicaciones, SETTA 2017, celebrado en Changsha, China, en octubre de 2017. Los 19 artÃculos completos presentados junto con 3 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados. de 31 presentaciones. El objetivo del simposio es reunir a investigadores y profesionales internacionales en el campo de la tecnologÃa de software. Su atención se centra en el análisis probabilÃstico y estadÃstico; sistemas temporizados e hÃbridos; análisis de programas; modelado y verificación; formalización; y herramientas. Nota de contenido: Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification.- Formalization -- Tools. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October 2017. The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
