Grieskamp / Santen / Stoddart Integrated Formal Methods

Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
Erscheinungsjahr 2007
ISBN: 978-3-540-40911-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, Band 1945, 446 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Zielgruppe

Research

Autoren/Hrsg.

Grieskamp, Wolfgang

Santen, Thomas

Stoddart, Bill

Inhaltsverzeichnis

Invited Talk.- Assertions.- Linking and Extending Notations.- 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.- Methodology.- 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.- Foundation of One Formalism by Another.- 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.- Invited Talk.- Why Doesn’t Anyone Use Formal Methods?.- Semantics.- How to Write a Healthiness Condition.- A Concurrent and Compositional Petri Net Semantics of Preemption.- Verification and Validation.- An Approach to Symbolic Test Generation.- Behavioral Conformance Verification in an Integrated Approach Using UML and B.- Predicate Diagrams for the Verification of Reactive Systems.- Modular Verification for a Class of PLTL Properties.- Towards Model Checking Stochastic Process Algebra.