2. IFM 2000: Dagstuhl Castle, Germany
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (Eds.): Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science ISBN 3-540-41196-8
Invited Talk
- C. A. R. Hoare: Assertions. 1-2
Linking and Extending Notations
- Jörg Fischer, Stefan Conrad: Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes. 45-60
- H. B. M. Jonkers: ISpec: Towards Practical and Sound Interface Specifications. 116-135
Methodology
- Yamine Aït Ameur: Cooperation of Formal Methods in an Engineering Based Software Development Process. 136-155
- Jeremy Bryans, Lynne Blair, Howard Bowman, John Derrick: Specification and Analysis of Automata-Based Designs. 176-193
- Jürgen Dingel: Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs. 214-234
Foundation of One Formalism by Another
- Didier Bert, Francis Cave: Construction of Finite Labelled Transistion Systems from B Abstract Systems. 235-254
- Jonathan P. Bowen: Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language. 277-296
Invited Talk
- Wolfram Schulte: Why Doesn't Anyone Use Formal Methods? 297-298
Semantics
- Yifeng Chen: How to Write a Healthiness Condition. 299-317
- Hanna Klaudel, Franck Pommereau: A Concurrent and Compositional Petri Net Semantics of Preemption. 318-337
Verification and Validation
- Eric Meyer, Thomas Santen: Behavioral Conformance Verification in an Integrated Approach Using UML and B. 358-379
- Dominique Cansell, Dominique Méry, Stephan Merz: Predicate Diagrams for the Verification of Reactive Systems. 380-397
- Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand: Modular Verification for a Class of PLTL Properties. 398-419
- Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: Towards Model Checking Stochastic Process Algebra. 420-439
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team