Título :	Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Tipo de documento:	documento electrónico
Autores:	Margaria, Tiziana, ; Steffen, Bernhard,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2018
Número de páginas:	XIII, 496 p. 178 ilustraciones, 85 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-03421-4
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)  Inteligencia artificial  Ciencias de la Computación  Ingeniería Informática  Red de computadoras  Ordenadores  Profesiones  Compiladores e intérpretes  Teoría de la Computación  Ingeniería Informática y Redes  La profesión informática
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	El conjunto de cuatro volúmenes LNCS 11244, 11245, 11246 y 11247 constituye las actas arbitradas del 8º Simposio Internacional sobre Aprovechamiento de Aplicaciones de Métodos Formales, Verificación y Validación, ISoLA 2018, celebrado en Limassol, Chipre, en octubre/noviembre de 2018. Los artículos presentados fueron cuidadosamente revisados ​​y seleccionados para su inclusión en las actas. Cada volumen se centra en un tema individual con títulos de secciones temáticas dentro del volumen: Parte I, Modelado: hacia una visión unificada del modelado y la programación; X-by-construction, STRESS 2018. Parte II, Verificación: Una visión más amplia de la verificación: de la estática al tiempo de ejecución y viceversa; evaluación de herramientas para la verificación de software; verificación de modelos estadísticos; RERS 2018; simposio doctoral. Parte III, Sistemas Distribuidos: ingeniería rigurosa de sistemas adaptativos colectivos; verificación y validación de sistemas distribuidos; e ingeniería de sistemas ciberfísicos. Parte IV, Práctica Industrial: verificación en tiempo de ejecución desde la teoría a la práctica industrial; métodos formales en la práctica industrial: cerrar la brecha; contratos inteligentes confiables: estado del arte, aplicaciones, desafíos y direcciones futuras; y día industrial. .
Nota de contenido:	A Broader View on Verification: From Static to Runtime and Back (Track Summary) -- Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification -- Temporal Reasoning on Incomplete Paths -- Towards a Notion of Coverage for Incomplete Program-Correctness Proofs -- Generating Inductive Shape Predicates for Runtime Checking and Formal Verification -- Runtime Assertion Checking and Static Verification: Collaborative Partners -- A Language-Independent Program Verification Framework -- Programming Safe Robotics Systems: Challenges and Advances -- Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring -- Evaluating Tools for Software Verification (Track Introduction) -- Strategy Selection for Software Verification Based on Boolean Features: A Simple but Effective Approach -- Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges -- Runtime and Memory Evaluation of Data Race DetectionTools -- In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching -- Deductive Verification of Unmodified Linux Kernel Library Functions -- Synthesizing Subtle Bugs with Known Witnesses -- Statistical Model Checking, The 2018 edition! -- Chasing Errors using Biasing Automata -- On the Sequential Massart Algorithm for Statistical Model Checking -- Quantitative risk assessment of safety-critical systems via guided simulation for rare events -- Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes -- Lightweight Statistical Model Checking in Nondeterministic Continuous Time -- Statistical Model-Checking of Incomplete Stochastic Systems -- Statistical Model Checking a Moving Block Railway Signalling Scenario with Uppaal SMC -- Mitigating Security Risks through Attack Strategies Exploration -- Statistical Model Checking of Processor Systems in Various Interrupt Scenarios -- RERS 2018: CTL, LTL, and Reachability -- Track Introduction - Doctoral Symposium 2018 -- Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking -- Implementation of Privacy Calculus and its Type Checking in Maude.
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

Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II [documento electrónico] / Margaria, Tiziana, ; Steffen, Bernhard,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XIII, 496 p. 178 ilustraciones, 85 ilustraciones en color.
ISBN : 978-3-030-03421-4
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)  Inteligencia artificial  Ciencias de la Computación  Ingeniería Informática  Red de computadoras  Ordenadores  Profesiones  Compiladores e intérpretes  Teoría de la Computación  Ingeniería Informática y Redes  La profesión informática
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	El conjunto de cuatro volúmenes LNCS 11244, 11245, 11246 y 11247 constituye las actas arbitradas del 8º Simposio Internacional sobre Aprovechamiento de Aplicaciones de Métodos Formales, Verificación y Validación, ISoLA 2018, celebrado en Limassol, Chipre, en octubre/noviembre de 2018. Los artículos presentados fueron cuidadosamente revisados ​​y seleccionados para su inclusión en las actas. Cada volumen se centra en un tema individual con títulos de secciones temáticas dentro del volumen: Parte I, Modelado: hacia una visión unificada del modelado y la programación; X-by-construction, STRESS 2018. Parte II, Verificación: Una visión más amplia de la verificación: de la estática al tiempo de ejecución y viceversa; evaluación de herramientas para la verificación de software; verificación de modelos estadísticos; RERS 2018; simposio doctoral. Parte III, Sistemas Distribuidos: ingeniería rigurosa de sistemas adaptativos colectivos; verificación y validación de sistemas distribuidos; e ingeniería de sistemas ciberfísicos. Parte IV, Práctica Industrial: verificación en tiempo de ejecución desde la teoría a la práctica industrial; métodos formales en la práctica industrial: cerrar la brecha; contratos inteligentes confiables: estado del arte, aplicaciones, desafíos y direcciones futuras; y día industrial. .
Nota de contenido:	A Broader View on Verification: From Static to Runtime and Back (Track Summary) -- Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification -- Temporal Reasoning on Incomplete Paths -- Towards a Notion of Coverage for Incomplete Program-Correctness Proofs -- Generating Inductive Shape Predicates for Runtime Checking and Formal Verification -- Runtime Assertion Checking and Static Verification: Collaborative Partners -- A Language-Independent Program Verification Framework -- Programming Safe Robotics Systems: Challenges and Advances -- Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring -- Evaluating Tools for Software Verification (Track Introduction) -- Strategy Selection for Software Verification Based on Boolean Features: A Simple but Effective Approach -- Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges -- Runtime and Memory Evaluation of Data Race DetectionTools -- In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching -- Deductive Verification of Unmodified Linux Kernel Library Functions -- Synthesizing Subtle Bugs with Known Witnesses -- Statistical Model Checking, The 2018 edition! -- Chasing Errors using Biasing Automata -- On the Sequential Massart Algorithm for Statistical Model Checking -- Quantitative risk assessment of safety-critical systems via guided simulation for rare events -- Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes -- Lightweight Statistical Model Checking in Nondeterministic Continuous Time -- Statistical Model-Checking of Incomplete Stochastic Systems -- Statistical Model Checking a Moving Block Railway Signalling Scenario with Uppaal SMC -- Mitigating Security Risks through Attack Strategies Exploration -- Statistical Model Checking of Processor Systems in Various Interrupt Scenarios -- RERS 2018: CTL, LTL, and Reachability -- Track Introduction - Doctoral Symposium 2018 -- Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking -- Implementation of Privacy Calculus and its Type Checking in Maude.
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