11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings / Badger, Julia M. ; Rozier, Kristin Yvonne  

Público ISBD Ningún comentario para este registro. Título : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings Tipo de documento: documento electrónico Autores: Badger, Julia M., ; Rozier, Kristin Yvonne, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXI, 392 p. 372 ilustraciones, 58 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-20652-9 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  Inteligencia artificial  Simulación por ordenador  Ingeniería Informática  Red de computadoras  Compiladores e intérpretes  Teoría de la Computación  Modelado por computadora  Ingeniería Informática y Redes Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas del 11.º Simposio Internacional sobre Métodos Formales de la NASA, NFM 2019, celebrado en Houston, TX, EE. UU., en mayo de 2019. Los 20 artículos completos y 8 artículos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 102 presentaciones. Los artículos se centran en la verificación formal, incluida la demostración de teoremas, la verificación de modelos y el análisis estático; avances en la demostración automatizada de teoremas, incluida la resolución SAT y SMT; uso de métodos formales en pruebas de software y sistemas; verificación en tiempo de ejecución; técnicas y algoritmos para escalar métodos formales, tales como métodos de abstracción y simbólicos, técnicas de composición, así como técnicas paralelas y/o distribuidas; generación de código a partir de modelos verificados formalmente; casos de seguridad y seguridad del sistema; enfoques formales para la tolerancia a fallos; avances teóricos y evaluaciones empíricas de técnicas de métodos formales para sistemas críticos para la seguridad, incluidos sistemas híbridos e integrados; métodos formales en ingeniería de sistemas y desarrollo basado en modelos; síntesis de controlador correcta por diseño; Métodos formales de aseguramiento para manejar sistemas adaptativos. Nota de contenido: Formal verification, including theorem proving, model checking, and static analysis -- Advances in automated theorem proving including SAT and SMT solving -- Use of formal methods in software and system testing -- Run-time verification -- Techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, and parallel and/or distributed techniques -- Code generation from formally verified models -- Safety cases and system safety -- Formal approaches to fault tolerance -- Theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems -- Formal methods in systems engineering and model-based development -- Correct-by-design controller synthesis -- Formal assurance methods to handle adaptive systems. 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 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings [documento electrónico] / Badger, Julia M., ; Rozier, Kristin Yvonne,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XXI, 392 p. 372 ilustraciones, 58 ilustraciones en color. ISBN : 978-3-030-20652-9 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  Inteligencia artificial  Simulación por ordenador  Ingeniería Informática  Red de computadoras  Compiladores e intérpretes  Teoría de la Computación  Modelado por computadora  Ingeniería Informática y Redes Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas del 11.º Simposio Internacional sobre Métodos Formales de la NASA, NFM 2019, celebrado en Houston, TX, EE. UU., en mayo de 2019. Los 20 artículos completos y 8 artículos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 102 presentaciones. Los artículos se centran en la verificación formal, incluida la demostración de teoremas, la verificación de modelos y el análisis estático; avances en la demostración automatizada de teoremas, incluida la resolución SAT y SMT; uso de métodos formales en pruebas de software y sistemas; verificación en tiempo de ejecución; técnicas y algoritmos para escalar métodos formales, tales como métodos de abstracción y simbólicos, técnicas de composición, así como técnicas paralelas y/o distribuidas; generación de código a partir de modelos verificados formalmente; casos de seguridad y seguridad del sistema; enfoques formales para la tolerancia a fallos; avances teóricos y evaluaciones empíricas de técnicas de métodos formales para sistemas críticos para la seguridad, incluidos sistemas híbridos e integrados; métodos formales en ingeniería de sistemas y desarrollo basado en modelos; síntesis de controlador correcta por diseño; Métodos formales de aseguramiento para manejar sistemas adaptativos. Nota de contenido: Formal verification, including theorem proving, model checking, and static analysis -- Advances in automated theorem proving including SAT and SMT solving -- Use of formal methods in software and system testing -- Run-time verification -- Techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, and parallel and/or distributed techniques -- Code generation from formally verified models -- Safety cases and system safety -- Formal approaches to fault tolerance -- Theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems -- Formal methods in systems engineering and model-based development -- Correct-by-design controller synthesis -- Formal assurance methods to handle adaptive systems. 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