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