Book Volume 2391 2002

FME 2002:Formal Methods—Getting IT Right

International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings


ISBN: 978-3-540-43928-8 (Print) 978-3-540-45614-8 (Online)

Table of contents (34 chapters)

previous Page of 2
  1. Front Matter

    Pages I-XI

  2. Chapter

    Pages 1-20

    Little Engines of Proof

  3. Chapter

    Pages 21-40

    Automated Boundary Testing from Z and B

  4. Chapter

    Pages 41-56

    Improvements in Coverability Analysis

  5. Chapter

    Pages 57-76

    Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study

  6. Chapter

    Pages 77-88

    UniTesK Test Suite Architecture

  7. Chapter

    Pages 89-105

    Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited

  8. Chapter

    Pages 106-125

    Do Not Read This

  9. Chapter

    Pages 126-145

    Safeness of Make-Based Incremental Recompilation

  10. Chapter

    Pages 146-162

    An Algorithmic Approach to Design Exploration

  11. Chapter

    Pages 163-183

    Mechanical Abstraction of CSP Z Processes

  12. Chapter

    Pages 184-203

    Verifying Erlang Code: A Resource Locker Case-Study

  13. Chapter

    Pages 204-223

    Towards an Integrated Model Checker for Railway Signalling Data

  14. Chapter

    Pages 224-233

    Correctness by Construction: Integrating Formality into a Commercial Development Process

  15. Chapter

    Pages 234-251

    VAlloy — Virtual Functions Meet a Relational Language

  16. Chapter

    Pages 252-271

    Verification Using Test Generation Techniques

  17. Chapter

    Pages 272-289

    Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java

  18. Chapter

    Pages 290-309

    Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods

  19. Chapter

    Pages 310-329

    Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation

  20. Chapter

    Pages 330-349

    Interference Analysis for Dependable Systems Using Refinement and Abstraction

  21. Chapter

    Pages 350-369

    The Formal Classification and Verification of Simpson’s 4-Slot Asynchronous Communication Mechanism

previous Page of 2