Integrated Formal Methods
1.5 hrs read
Rate this book:
About This Book
Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings<br />Author: Wolfgang Grieskamp, Thomas Santen, Bill Stoddart<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-41196-3<br /> DOI: 10.1007/3-540-40911-4<br /><br />Table of Contents:<p></p><ul><li>Assertions
</li><li>State-Based Extension of CASL
</li><li>Linking DC Together with TRSL
</li><li>Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
</li><li>A Process Compensation Language
</li><li>Activity Graphs and Processes
</li><li>Structuring Real-Time Object-Z Specifications
</li><li>ISpec: Towards Practical and Sound Interface Specifications
</li><li>Cooperation of Formal Methods in an Engineering Based Software Development Process
</li><li>Developing Control Systems Components
</li><li>Specification and Analysis of Automata-Based Designs
</li><li>Structural Refinement in Object-Z / CSP
</li><li>Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs
</li><li>Construction of Finite Labelled Transition Systems from B Abstract Systems
</li><li>μ-Charts and Z: Hows, Whys, and Wherefores
</li><li>Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language
</li><li>Why Doesn’t Anyone Use Formal Methods?
</li><li>How to Write a Healthiness Condition
</li><li>A Concurrent and Compositional Petri Net Semantics of Preemption
</li><li>An Approach to Symbolic Test Generation</li></ul>
</li><li>State-Based Extension of CASL
</li><li>Linking DC Together with TRSL
</li><li>Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
</li><li>A Process Compensation Language
</li><li>Activity Graphs and Processes
</li><li>Structuring Real-Time Object-Z Specifications
</li><li>ISpec: Towards Practical and Sound Interface Specifications
</li><li>Cooperation of Formal Methods in an Engineering Based Software Development Process
</li><li>Developing Control Systems Components
</li><li>Specification and Analysis of Automata-Based Designs
</li><li>Structural Refinement in Object-Z / CSP
</li><li>Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs
</li><li>Construction of Finite Labelled Transition Systems from B Abstract Systems
</li><li>μ-Charts and Z: Hows, Whys, and Wherefores
</li><li>Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language
</li><li>Why Doesn’t Anyone Use Formal Methods?
</li><li>How to Write a Healthiness Condition
</li><li>A Concurrent and Compositional Petri Net Semantics of Preemption
</li><li>An Approach to Symbolic Test Generation</li></ul>
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Write a Review
Sign in to write a review.
