Autor Huisman, Marieke
|
|
Documentos disponibles escritos por este autor (5)
Hacer una sugerencia Refinar búsqueda24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings / Huisman, Marieke ; Păsăreanu, Corina ; Zhan, Naijun
Título : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings Tipo de documento: documento electrónico Autores: Huisman, Marieke, ; Păsăreanu, Corina, ; Zhan, Naijun, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XVII, 800 p. 278 ilustraciones, 159 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-90870-6 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 Computadoras Propósitos especiales Teoría de la Computación Sistemas de propósito especial y basados en aplicaciones Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas del 24º Simposio sobre Métodos Formales, FM 2021, celebrado virtualmente en noviembre de 2021. Los 43 artículos completos presentados junto con 4 presentaciones invitadas fueron cuidadosamente revisados y seleccionados entre 131 presentaciones. Los artículos están organizados en secciones temáticas denominadas: Presentaciones invitadas. - Prueba interactiva de teoremas, redes neuronales y aprendizaje activo, lógica y teoría, verificación de programas I, sistemas híbridos, verificación de programas II, autómatas, análisis de sistemas complejos, probabilidades, artículos invitados de seguimiento de la industria, seguimiento de la industria, Divide et Impera: síntesis eficiente de Sistema ciberfísico. Nota de contenido: Invited Presentations. - Interactive Theorem Proving -- Neural Networks & Active Learning -- Logics & Theory -- Program Verification I -- Hybrid Systems -- Program Verification II -- Automata -- Analysis of Complex Systems -- Probabilities -- Industry Track Invited Papers -- Industry Track -- Divide et Impera: Efficient Synthesis of Cyber-Physical System. 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 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings [documento electrónico] / Huisman, Marieke, ; Păsăreanu, Corina, ; Zhan, Naijun, . - 1 ed. . - [s.l.] : Springer, 2021 . - XVII, 800 p. 278 ilustraciones, 159 ilustraciones en color.
ISBN : 978-3-030-90870-6
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 Computadoras Propósitos especiales Teoría de la Computación Sistemas de propósito especial y basados en aplicaciones Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas del 24º Simposio sobre Métodos Formales, FM 2021, celebrado virtualmente en noviembre de 2021. Los 43 artículos completos presentados junto con 4 presentaciones invitadas fueron cuidadosamente revisados y seleccionados entre 131 presentaciones. Los artículos están organizados en secciones temáticas denominadas: Presentaciones invitadas. - Prueba interactiva de teoremas, redes neuronales y aprendizaje activo, lógica y teoría, verificación de programas I, sistemas híbridos, verificación de programas II, autómatas, análisis de sistemas complejos, probabilidades, artículos invitados de seguimiento de la industria, seguimiento de la industria, Divide et Impera: síntesis eficiente de Sistema ciberfísico. Nota de contenido: Invited Presentations. - Interactive Theorem Proving -- Neural Networks & Active Learning -- Logics & Theory -- Program Verification I -- Hybrid Systems -- Program Verification II -- Automata -- Analysis of Complex Systems -- Probabilities -- Industry Track Invited Papers -- Industry Track -- Divide et Impera: Efficient Synthesis of Cyber-Physical System. 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
Título : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III Tipo de documento: documento electrónico Autores: Beyer, Dirk, ; Huisman, Marieke, ; Kordon, Fabrice, ; Steffen, Bernhard, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXVII, 258 p. 449 ilustraciones, 25 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-17502-3 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 Teoría de las máquinas Ordenadores Profesiones Computadoras digitales electrónicas Simulación por ordenador Lógica informática y fundamentos de la programación Lenguajes formales y teoría de los autómatas La profesión informática Rendimiento y evaluación del sistema Modelado por computadora Índice Dewey: 40.151 Resumen: Este libro es de Acceso Abierto bajo licencia CC BY. . Nota de contenido: TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution). 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 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III [documento electrónico] / Beyer, Dirk, ; Huisman, Marieke, ; Kordon, Fabrice, ; Steffen, Bernhard, . - 1 ed. . - [s.l.] : Springer, 2019 . - XXVII, 258 p. 449 ilustraciones, 25 ilustraciones en color.
ISBN : 978-3-030-17502-3
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 Teoría de las máquinas Ordenadores Profesiones Computadoras digitales electrónicas Simulación por ordenador Lógica informática y fundamentos de la programación Lenguajes formales y teoría de los autómatas La profesión informática Rendimiento y evaluación del sistema Modelado por computadora Índice Dewey: 40.151 Resumen: Este libro es de Acceso Abierto bajo licencia CC BY. . Nota de contenido: TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution). 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
Título : Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings Tipo de documento: documento electrónico Autores: Huisman, Marieke, ; Rubin, Julia, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2017 Número de páginas: XIII, 444 p. 130 ilustraciones ISBN/ISSN/DL: 978-3-662-54494-5 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 Compiladores (programas informáticos) Ciencias de la Computación Teoría de las máquinas Compiladores e intérpretes Lógica informática y fundamentos de la programación Lenguajes formales y teoría de los autómatas Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas de la 20.ª Conferencia Internacional sobre Enfoques Fundamentales de la Ingeniería de Software, FASE 2017, que tuvo lugar en Uppsala, Suecia, en abril de 2017, como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software, ETAPS 2017. 23 artículos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 91 presentaciones. Fueron organizados en secciones temáticas denominadas: aprendizaje e inferencia; selección de pruebas; análisis de programas y sistemas; modelado y transformación de gráficos; transformaciones de modelos; configuración y síntesis; y líneas de productos de software. . Nota de contenido: Learning and Inference -- Should We Learn Probabilistic Models for Model Checking? A New Approach and an Empirical Study -- Bordeaux: a tool for thinking outside the box -- Test Selection -- Bucketing Failing Tests via Symbolic Analysis -- Selective Bisection Debugging. - On the Effectiveness of Bug Predictors with Procedural Systems: a Quantitative Study -- Program and System Analysis -- Inference and Evolution of TypeScript Declaration Files -- Explicit Connection Actions in Multiparty Session Types -- Change and Delay Contracts for Hybrid System Component Verification. - Precise Version Control of Trees with Line-based Version Control Systems -- Graph Modelling and Transformation -- StaticGen: Static Generation of UML Sequence Diagrams -- Inter-Model Consistency Checking using Triple Graph Grammars and Linear Optimization Techniques -- GTS Families for the Flexible Composition of Graph Transformation Systems -- Symbolic Model Generation for Graph Properties. - Model Transformations -- TraceabilityMappings as a Fundamental Instrument in Model Transformations -- Reusing Model Transformations through Typing Requirement Models -- Change-preserving model repair. -A deductive approach for fault localization in ATL model transformations. -Configuration and Synthesis -- OpenSAW: Open Security Analysis Workbench -- Visual Configuration of Mobile Privacy Policies -- Automated Workarounds from Java Program Specifications based on SAT Solving. -Slicing from Formal Sematics: Chisel -- EasyInterface: A toolkit for rapid development of GUIs for research prototype tools -- Software Product Lines -- Family-Based Model Checking with mCRL2 -- Variability-specific Abstraction Refinement for Family-based Model Checking -- A Unified and Formal Programming Model for Deltas and Traits. 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 Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings [documento electrónico] / Huisman, Marieke, ; Rubin, Julia, . - 1 ed. . - Berlin [Alemania] : Springer, 2017 . - XIII, 444 p. 130 ilustraciones.
ISBN : 978-3-662-54494-5
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 Compiladores (programas informáticos) Ciencias de la Computación Teoría de las máquinas Compiladores e intérpretes Lógica informática y fundamentos de la programación Lenguajes formales y teoría de los autómatas Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas de la 20.ª Conferencia Internacional sobre Enfoques Fundamentales de la Ingeniería de Software, FASE 2017, que tuvo lugar en Uppsala, Suecia, en abril de 2017, como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software, ETAPS 2017. 23 artículos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 91 presentaciones. Fueron organizados en secciones temáticas denominadas: aprendizaje e inferencia; selección de pruebas; análisis de programas y sistemas; modelado y transformación de gráficos; transformaciones de modelos; configuración y síntesis; y líneas de productos de software. . Nota de contenido: Learning and Inference -- Should We Learn Probabilistic Models for Model Checking? A New Approach and an Empirical Study -- Bordeaux: a tool for thinking outside the box -- Test Selection -- Bucketing Failing Tests via Symbolic Analysis -- Selective Bisection Debugging. - On the Effectiveness of Bug Predictors with Procedural Systems: a Quantitative Study -- Program and System Analysis -- Inference and Evolution of TypeScript Declaration Files -- Explicit Connection Actions in Multiparty Session Types -- Change and Delay Contracts for Hybrid System Component Verification. - Precise Version Control of Trees with Line-based Version Control Systems -- Graph Modelling and Transformation -- StaticGen: Static Generation of UML Sequence Diagrams -- Inter-Model Consistency Checking using Triple Graph Grammars and Linear Optimization Techniques -- GTS Families for the Flexible Composition of Graph Transformation Systems -- Symbolic Model Generation for Graph Properties. - Model Transformations -- TraceabilityMappings as a Fundamental Instrument in Model Transformations -- Reusing Model Transformations through Typing Requirement Models -- Change-preserving model repair. -A deductive approach for fault localization in ATL model transformations. -Configuration and Synthesis -- OpenSAW: Open Security Analysis Workbench -- Visual Configuration of Mobile Privacy Policies -- Automated Workarounds from Java Program Specifications based on SAT Solving. -Slicing from Formal Sematics: Chisel -- EasyInterface: A toolkit for rapid development of GUIs for research prototype tools -- Software Product Lines -- Family-Based Model Checking with mCRL2 -- Variability-specific Abstraction Refinement for Family-based Model Checking -- A Unified and Formal Programming Model for Deltas and Traits. 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
Título : Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I Tipo de documento: documento electrónico Autores: Beyer, Dirk, ; Huisman, Marieke, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XX, 429 p. 93 ilustraciones ISBN/ISSN/DL: 978-3-319-89960-2 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 Ordenadores Estructuras de datos (Informática) Teoría de la información Computadoras digitales electrónicas Lógica informática y fundamentos de la programación Entornos informáticos Estructuras de datos y teoría de la información Rendimiento y evaluación del sistema Índice Dewey: 40.151 Resumen: Este libro es de Acceso Abierto bajo licencia CC BY. . Nota de contenido: Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. . 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 Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I [documento electrónico] / Beyer, Dirk, ; Huisman, Marieke, . - 1 ed. . - [s.l.] : Springer, 2018 . - XX, 429 p. 93 ilustraciones.
ISBN : 978-3-319-89960-2
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 Ordenadores Estructuras de datos (Informática) Teoría de la información Computadoras digitales electrónicas Lógica informática y fundamentos de la programación Entornos informáticos Estructuras de datos y teoría de la información Rendimiento y evaluación del sistema Índice Dewey: 40.151 Resumen: Este libro es de Acceso Abierto bajo licencia CC BY. . Nota de contenido: Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. . 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
Título : Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II Tipo de documento: documento electrónico Autores: Beyer, Dirk, ; Huisman, Marieke, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XX, 465 p. 92 ilustraciones ISBN/ISSN/DL: 978-3-319-89963-3 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 Ingeniería Informática Red de computadoras Inteligencia artificial Ordenadores Lógica informática y fundamentos de la programación Ingeniería Informática y Redes Entornos informáticos Hardware de la computadora Índice Dewey: 40.151 Resumen: Este libro es de Acceso Abierto bajo licencia CC BY. Nota de contenido: Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). 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 Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II [documento electrónico] / Beyer, Dirk, ; Huisman, Marieke, . - 1 ed. . - [s.l.] : Springer, 2018 . - XX, 465 p. 92 ilustraciones.
ISBN : 978-3-319-89963-3
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 Ingeniería Informática Red de computadoras Inteligencia artificial Ordenadores Lógica informática y fundamentos de la programación Ingeniería Informática y Redes Entornos informáticos Hardware de la computadora Índice Dewey: 40.151 Resumen: Este libro es de Acceso Abierto bajo licencia CC BY. Nota de contenido: Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). 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
