Buch, Englisch, 328 Seiten, HC runder Rücken kaschiert, Format (B × H): 160 mm x 241 mm, Gewicht: 751 g
Buch, Englisch, 328 Seiten, HC runder Rücken kaschiert, Format (B × H): 160 mm x 241 mm, Gewicht: 751 g
Reihe: NASA Monographs in Systems and Software Engineering
ISBN: 978-3-319-48627-7
Verlag: Springer International Publishing
The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.
The following topics are covered:
- An historical account of the ProCoS project
- Hybrid Systems
- Correctness of Concurrent Algorithms
- Interfaces and Linking
- Automatic Verification
- Run-time Assertions Checking
- Formal and Semi-Formal Methods
Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
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.