Skip to main content
  • Conference proceedings
  • © 1999

FM'99 - Formal Methods

World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I

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

Conference series link(s): FM: International Symposium on Formal Methods

Conference proceedings info: FM 1999.

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-48119-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 169.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (50 papers)

  1. Front Matter

    Pages I-XVIII
  2. Invited Papers

    1. Scientific Decisions which Characterize VDM

      • Cliff B. Jones
      Pages 28-47Open Access
    2. Mechanized Formal Methods: Where Next?

      • John Rushby
      Pages 48-51Open Access
    3. Integration, the Price of Success

      • J. Sifakis
      Pages 52-55Open Access
    4. The Role of Formalism in Method

      • Michael Jackson
      Pages 56-56Open Access
  3. Integration into the Development Process

    1. Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project

      • Eric Conquet, Jean-Luc Marty
      Pages 57-75Open Access
    2. A Business Process Design Language

      • Henk Eertink, Wil Janssen, Paul Oude Luttighuis, Wouter Teeuw, Chris Vissers
      Pages 76-95Open Access
  4. Software Architecture

    1. Refinement of Pipe-and-Filter Architectures

      • Jan Philipps, Bernhard Rumpe
      Pages 96-115Open Access
    2. A Formalization of Software Architecture

      • John Herbert, Bruno Dutertre, Robert Riemenschneider, Victoria Stavridou
      Pages 116-133Open Access
  5. European Association for Theoretical Computer Science (EATCS)

    1. Component and Interface Refinement in Closed-System Specifications

      • Reino Kurki-Suonio
      Pages 134-154Open Access
    2. Semantics of First Order Parametric Specifications

      • Duško Pavlović
      Pages 155-172Open Access
  6. Model Checking

    1. A Perfecto Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software

      • Yonit Kesten, Amit Klein, Amir Pnueli, Gil Raanan
      Pages 173-194Open Access
    2. Error Detection with Directed Symbolic Model Checking

      • Frank Reffe, Stefan Edelkamp
      Pages 195-211Open Access
    3. Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination

      • R. Alur, J. Esposito, M. Kim, V. Kumar, I. Lee
      Pages 212-232Open Access
    4. On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems

      • Stavros Tripakis, Karine Altisen
      Pages 233-252Open Access
    5. On-the-fly Verification of Linear Temporal Logic

      • Jean-Michel Couvreur
      Pages 253-271Open Access
    6. Symbolic Model Checking with Fewer Fixpoint Computations

      • David Déharbe, Anamaria Martins Moreira
      Pages 272-288Open Access
    7. Formula Based Abstractions of Transition Systems for Real-Time Model Checking

      • Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini2
      Pages 289-306Open Access
    8. If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems

      • Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
      Pages 307-327Open Access

Other Volumes

  1. FM’99 — Formal Methods

    World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I
  2. FM’99 — Formal Methods

    World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

About this book

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM’99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These proceedings are a record of the technical symposium ofFM’99:alo- side the papers describingapplicationsofformalmethods,youwill ndtechnical reports,papers,andabstracts detailing new advances in formaltechniques,from mathematical foundations to practical tools. The World Congress is the successor to the four Formal Methods Europe Symposia, which in turn succeeded the four VDM Europe Symposia. This s- cession re?ects an increasing openness within the international community of researchers and practitioners: papers were submitted covering a wide variety of formal methods and application areas. The programmecommittee re?ects the Congress’s international nature, with a membership of 84 leading researchersfrom 38 di erent countries.The comm- tee was divided into 19 tracks, each with its own chair to oversee the reviewing process. Our collective task was a di cult one: there were 259 high-quality s- missions from 35 di erent countries.

Keywords

  • Abstract State Machines
  • Algebraic Methods
  • Formal Methods
  • Formal Specification
  • Hardware/Software Co-design
  • Model Checking
  • Program Verification
  • Refinement
  • Safety-Critical Systems
  • Software Testing
  • System Security
  • architecture
  • communication
  • formal method
  • model

Editors and Affiliations

  • Computer Science Department, Carnegie Mellon University, Pittsburgh, USA

    Jeannette M. Wing

  • Oxford University Computing Laboratory, Software Engineering Programme, Oxford, UK

    Jim Woodcock, Jim Davies

Bibliographic Information

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-48119-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 169.99
Price excludes VAT (USA)