Skip to main content
SpringerLink
Log in

FME 2002: Formal Methods - Getting IT Right

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

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Lars-Henrik Eriksson

    1. Department of Information Technology, Uppsala University, 751 05, Uppsala, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Alexander Lindsay

    1. Software Verification Research Centre, The University of Queensland, Queensland, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2391)

Included in the following conference series:

Conference proceedings info: FME 2002.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (34 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Little Engines of Proof

    • Natarajan Shankar
    Pages 1-20

  3. Automated Boundary Testing from Z and B

    • Bruno Legeard, Fabien Peureux, Mark Utting
    Pages 21-40

  4. Improvements in Coverability Analysis

    • Gil Ratsaby, Baruch Sterin, Shmuel Ur
    Pages 41-56

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

    • Juan C. Burguillo-Rial, Manuel J. Fernández-Iglesias, Francisco J. González-Castaño, Martín Llamas-Nistal
    Pages 57-76

  6. UniTesK Test Suite Architecture

    • Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
    Pages 77-88

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

    • David von Oheimb, Tobias Nipkow
    Pages 89-105

  8. Do Not Read This

    • Juan C. Bicarregui
    Pages 106-125

  9. Safeness of Make-Based Incremental Recompilation

    • Niels Jørgensen
    Pages 126-145

  10. An Algorithmic Approach to Design Exploration

    • Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
    Pages 146-162

  11. Mechanical Abstraction of CSP Z Processes

    • Alexandre Mota, Paulo Borba, Augusto Sampaio
    Pages 163-183

  12. Verifying Erlang Code: A Resource Locker Case-Study

    • Thomas Arts, Clara Benac Earle, John Derrick
    Pages 184-203

  13. Towards an Integrated Model Checker for Railway Signalling Data

    • Michael Huber, Steve King
    Pages 204-223

  14. Correctness by Construction: Integrating Formality into a Commercial Development Process

    • Anthony Hall
    Pages 224-233

  15. VAlloy — Virtual Functions Meet a Relational Language

    • Darko Marinov, Sarfraz Khurshid
    Pages 234-251

  16. Verification Using Test Generation Techniques

    • Vlad Rusu
    Pages 252-271

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

    • Néstor Cataño, Marieke Huisman
    Pages 272-289

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

    • Ludovic Casset
    Pages 290-309

  19. Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation

    • Michael Backes, Christian Jacobi, Birgit Pfitzmann
    Pages 310-329

  20. Interference Analysis for Dependable Systems Using Refinement and Abstraction

    • Claus Pahl
    Pages 330-349
Back to top

Keywords

About this book

This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as part of the 2002 Federated Logic Conference (FLoC 2002), which brought - gether in one event seven major conferences related to logic in computer science, as well as their a?liated workshops, tutorials, and tools exhibitions. Formal Methods Europe (www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for software development. FME symposia have been notably successful in bringing together a community of users, researchers, and developers of precise mathematical - thods for software development. The theme of FME 2002 was “Formal Methods: Getting IT Right”. The double meaning was intentional. On the one hand, the theme acknowledged the signi?cant contribution formal methods can make to Information Technology, by enabling computer systems to be described precisely and reasoned about with rigour. On the other hand, it recognized that current formal methods are not perfect, and further research and practice are required to improve their foundations, applicability, and e?ectiveness.

Editors and Affiliations

  • Department of Information Technology, Uppsala University, 751 05, Uppsala, Sweden

    Lars-Henrik Eriksson

  • Software Verification Research Centre, The University of Queensland, Queensland, Australia

    Peter Alexander Lindsay

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation