FM 2006: Formal Methods

14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

  • Jayadev Misra
  • Tobias Nipkow
  • Emil Sekerinski
Conference proceedings FM 2006

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

Table of contents

  1. Front Matter
  2. Invited Talk

    1. Thomas A. Henzinger, Joseph Sifakis
      Pages 1-15
  3. Interactive Verification

    1. Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif
      Pages 16-31
    2. Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos
      Pages 32-47
    3. David Delahaye, Jean-Frédéric Étienne, Véronique Viguié Donzeau-Gouge
      Pages 48-63
  4. Invited Talk

    1. Ernie Cohen
      Pages 81-81
  5. Formal Modelling of Systems

    1. Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski
      Pages 82-97
    2. Greg Brunet, Marsha Chechik, Sebastian Uchitel
      Pages 98-114
    3. Angela Freitas, Ana Cavalcanti
      Pages 115-130
  6. Real Time

    1. Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman
      Pages 147-162
    2. Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz
      Pages 163-178
  7. Industrial Experience

    1. Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni
      Pages 179-189
  8. Specification Refinement

    1. Tim McComb, Graeme Smith
      Pages 205-220
    2. Neil Evans, Michael Butler
      Pages 221-235
    3. José N. Oliveira, César J. Rodrigues
      Pages 236-251
    4. Nuno Amálio, Susan Stepney, Fiona Polack
      Pages 252-267
  9. Progrmming Languages

About these proceedings

Keywords

Refactoring Resolution algebraic methods algorithm formal methods formal specification formal testing formal verification java programming model checking modeling object-orientation program correctness programming language verification

Editors and affiliations

  • Jayadev Misra
    • 1
  • Tobias Nipkow
    • 2
  • Emil Sekerinski
    • 3
  1. 1.The University of Texas at Austin 
  2. 2.Institut für InformatikTechnische Universität, München 
  3. 3.Department of Computing and SoftwareMcMaster UniversityHamiltonCanada

Bibliographic information

  • DOI https://doi.org/10.1007/11813040
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-37215-8
  • Online ISBN 978-3-540-37216-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book