FME 2001: Formal Methods for Increasing Software Productivity

International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

Editors:

ISBN: 978-3-540-41791-0 (Print) 978-3-540-45251-5 (Online)

Table of contents (35 chapters)

previous Page of 2
  1. No Access

    Book Chapter

    Pages 1-1

    Lightweight Formal Methods

  2. No Access

    Book Chapter

    Pages 2-19

    Reformulation: a Way to Combine Dynamic Properties and B Refinement

  3. No Access

    Book Chapter

    Pages 20-42

    Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries

  4. No Access

    Book Chapter

    Pages 43-71

    Proofs of Correctness of Cache-Coherence Protocols

  5. No Access

    Book Chapter

    Pages 72-98

    Model-Checking Over Multi-Valued Logics

  6. No Access

    Book Chapter

    Pages 99-118

    How to Make FDR Spin LTL Model Checking of CSP by Refinement

  7. No Access

    Book Chapter

    Pages 119-134

    Avoiding State Explosion for Distributed Systems with Timestamps

  8. No Access

    Book Chapter

    Pages 135-152

    Secrecy-Preserving Refinement

  9. No Access

    Book Chapter

    Pages 153-172

    Information Flow Control and Applications — Bridging a Gap —

  10. No Access

    Book Chapter

    Pages 173-196

    A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures

  11. No Access

    Book Chapter

    Pages 197-221

    A Formal Model for Reasoning About Adaptive QoS-Enabled Middleware

  12. No Access

    Book Chapter

    Pages 222-222

    A Programming Model for Wide-Area Computing

  13. No Access

    Book Chapter

    Pages 223-241

    A Formal Model of Object-Oriented Design and GoF Design Patterns

  14. No Access

    Book Chapter

    Pages 242-258

    Validation of UML Models Thanks to Z and Lustre

  15. No Access

    Book Chapter

    Pages 259-277

    Components, Contracts, and Connectors for the Unified Modelling Language UML

  16. No Access

    Book Chapter

    Pages 278-299

    An Integrated Approach to Specification and Validation of Real-Time Systems

  17. No Access

    Book Chapter

    Pages 300-317

    Real-Time Logic Revisited

  18. No Access

    Book Chapter

    Pages 318-343

    Improvements in BDD-Based Reachability Analysis of Timed Automata

  19. No Access

    Book Chapter

    Pages 344-363

    Serialising Parallel Processes in a Hardware/Software Partitioning Context

  20. No Access

    Book Chapter

    Pages 364-383

    Verifying Implementation Relations

previous Page of 2