Título :	Provably Correct Systems
Tipo de documento:	documento electrónico
Autores:	Hinchey, Mike, ; Bowen, Jonathan P., ; Olderog, Ernst-Rüdiger,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2017
Número de páginas:	XV, 328 p. 84 ilustraciones, 48 ilustraciones en color.
ISBN/ISSN/DL:	978-3-319-48628-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:	Teoría de las máquinas  Ciencias de la Computación  Programación de computadoras  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación  Modelos de Computación  Técnicas de programación
Índice Dewey:	5.131
Resumen:	A medida que las computadoras controlan cada vez más los sistemas y servicios de los que dependemos en nuestra vida diaria, como el transporte, las comunicaciones y los medios, garantizar que estos sistemas funcionen correctamente es de suma importancia. Este libro consta de doce capítulos y un relato histórico que se presentaron en un taller celebrado en Londres en 2015, con motivo del 25.º aniversario del proyecto europeo de investigación básica ESPRIT ''ProCoS'' (Provably Correct Systems). Los proyectos ProCoS I y II fueron pioneros y aceleraron la automatización de técnicas de verificación, lo que dio como resultado una amplia gama de aplicaciones en muchos oficios y sectores como el aeroespacial, la electrónica, las comunicaciones y el comercio minorista. Se tratan los siguientes temas: Un relato histórico del proyecto ProCoS Sistemas híbridos Corrección de interfaces de algoritmos concurrentes y vinculación Verificación automática Afirmaciones en tiempo de ejecución Verificación de métodos formales y semiformales
Nota de contenido:	Foreword -- Preface -- Part I: Historic Account -- ProCoS: How It All Began – As Seen from Denmark -- Part II: Hybrid Systems -- Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems -- MARS: A Tool chain for Modelling, Analysis and Verification of Hybrid Systems -- Part III: Correctness of Concurrent Algorithms -- A Proof Method for Linearizability on TSO Architectures -- Part IV: Interfaces and Linking -- Linking Discrete and Continuous Models, Applied to Traffic Manoeuvres -- Towards Interface-Driven Design of Evolving Component-Based Architectures -- Part V: Automatic Verification -- Computing Verified Machine Address Bounds during Symbolic Exploration of Code -- Engineering a Formal, Executable x86 ISA Simulator for Software Verification -- Advances in Connection-Based Automated Theorem Proving -- Part VI: Run-Time Assertion Checking -- Run-Time Deadlock Detection -- In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design -- Part VII: Formal and Semi-Formal Methods -- From ProCoS to Space and Mental Models – a Survey of Combing Formal and Semi-Formal Methods -- Part VIII: Web-Supported Communities in Science -- Provably Correct Systems: Community, Connections and Citations.
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

Provably Correct Systems [documento electrónico] / Hinchey, Mike, ; Bowen, Jonathan P., ; Olderog, Ernst-Rüdiger,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XV, 328 p. 84 ilustraciones, 48 ilustraciones en color.
ISBN : 978-3-319-48628-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Teoría de las máquinas  Ciencias de la Computación  Programación de computadoras  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación  Modelos de Computación  Técnicas de programación
Índice Dewey:	5.131
Resumen:	A medida que las computadoras controlan cada vez más los sistemas y servicios de los que dependemos en nuestra vida diaria, como el transporte, las comunicaciones y los medios, garantizar que estos sistemas funcionen correctamente es de suma importancia. Este libro consta de doce capítulos y un relato histórico que se presentaron en un taller celebrado en Londres en 2015, con motivo del 25.º aniversario del proyecto europeo de investigación básica ESPRIT ''ProCoS'' (Provably Correct Systems). Los proyectos ProCoS I y II fueron pioneros y aceleraron la automatización de técnicas de verificación, lo que dio como resultado una amplia gama de aplicaciones en muchos oficios y sectores como el aeroespacial, la electrónica, las comunicaciones y el comercio minorista. Se tratan los siguientes temas: Un relato histórico del proyecto ProCoS Sistemas híbridos Corrección de interfaces de algoritmos concurrentes y vinculación Verificación automática Afirmaciones en tiempo de ejecución Verificación de métodos formales y semiformales
Nota de contenido:	Foreword -- Preface -- Part I: Historic Account -- ProCoS: How It All Began – As Seen from Denmark -- Part II: Hybrid Systems -- Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems -- MARS: A Tool chain for Modelling, Analysis and Verification of Hybrid Systems -- Part III: Correctness of Concurrent Algorithms -- A Proof Method for Linearizability on TSO Architectures -- Part IV: Interfaces and Linking -- Linking Discrete and Continuous Models, Applied to Traffic Manoeuvres -- Towards Interface-Driven Design of Evolving Component-Based Architectures -- Part V: Automatic Verification -- Computing Verified Machine Address Bounds during Symbolic Exploration of Code -- Engineering a Formal, Executable x86 ISA Simulator for Software Verification -- Advances in Connection-Based Automated Theorem Proving -- Part VI: Run-Time Assertion Checking -- Run-Time Deadlock Detection -- In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design -- Part VII: Formal and Semi-Formal Methods -- From ProCoS to Space and Mental Models – a Survey of Combing Formal and Semi-Formal Methods -- Part VIII: Web-Supported Communities in Science -- Provably Correct Systems: Community, Connections and Citations.
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