FM’99 — Formal Methods

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


ISBN: 978-3-540-66587-8 (Print) 978-3-540-48119-5 (Online)

Table of contents (50 chapters)

previous Page of 3
  1. Front Matter

    Pages I-XVIII

  2. Invited Papers

    1. Book Chapter

      Pages 1-27

      Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle

    2. Book Chapter

      Pages 28-47

      Scientific Decisions which Characterize VDM

    3. Book Chapter

      Pages 48-51

      Mechanized Formal Methods: Where Next?

    4. Book Chapter

      Pages 52-55

      Integration, the Price of Success

    5. Book Chapter

      Pages 56-56

      The Role of Formalism in Method

  3. Integration into the Development Process

    1. Book Chapter

      Pages 57-75

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

    2. Book Chapter

      Pages 76-95

      A Business Process Design Language

  4. Software Architecture

    1. Book Chapter

      Pages 96-115

      Refinement of Pipe-and-Filter Architectures

    2. Book Chapter

      Pages 116-133

      A Formalization of Software Architecture

  5. European Association for Theoretical Computer Science (EATCS)

    1. Book Chapter

      Pages 134-154

      Component and Interface Refinement in Closed-System Specifications

    2. Book Chapter

      Pages 155-172

      Semantics of First Order Parametric Specifications

  6. Model Checking

    1. Book Chapter

      Pages 173-194

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

    2. Book Chapter

      Pages 195-211

      Error Detection with Directed Symbolic Model Checking

    3. Book Chapter

      Pages 212-232

      Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination

    4. Book Chapter

      Pages 233-252

      On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems

    5. Book Chapter

      Pages 253-271

      On-the-fly Verification of Linear Temporal Logic

    6. Book Chapter

      Pages 272-288

      Symbolic Model Checking with Fewer Fixpoint Computations

    7. Book Chapter

      Pages 289-306

      Formula Based Abstractions of Transition Systems for Real-Time Model Checking

    8. Book Chapter

      Pages 307-327

      If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems

    9. Book Chapter

      Pages 328-347

      Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes

previous Page of 3