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

DOI: 10.1007/11813040

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

  • 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