Overview

Full Product Details

Author:   Mike Hinchey ,  Jonathan P. Bowen ,  Ernst-Rüdiger Olderog
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   1st ed. 2017
Weight:   0.831kg
ISBN:  

9783319486277

ISBN 10:   3319486276
Pages:   328
Publication Date:   10 March 2017
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions