Integrated formal methods

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>