Author Description

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