Integrated Formal Methods

Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 ProceedingsAuthor: Wolfgang Grieskamp, Thomas Santen, Bill Stoddart Published by Springer Berlin Heidelberg ISBN: 978-3-540-41196-3 DOI: 10.1007/3-540-40911-4Table 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