Advertisement

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

    1. Alcino Cunha, José Nuno Oliveira, Joost Visser
      Pages 284-299
  10. Algebra

    1. Peter Höfner, Ridha Khedri, Bernhard Möller
      Pages 300-315
  11. Education

  12. Formal Modelling of Systems

  13. Formal Aspects of Java

    1. Xin Li, H. James Hoover, Piotr Rudnicki
      Pages 396-411
    2. Cyrille Artho, Armin Biere, Shinichi Honiden
      Pages 412-427
    3. Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard
      Pages 428-443
  14. Programming Languages

    1. Sandrine Blazy, Zaynah Dargaye, Xavier Leroy
      Pages 460-475
    2. Thuan Quang Huynh, Abhik Roychoudhury
      Pages 476-491
    3. Fabian Bannwart, Peter Müller
      Pages 492-507
  15. Model Checking

    1. Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul Strooper, Peter Robinson
      Pages 524-540
    2. Alastair F. Donaldson, Alice Miller
      Pages 541-556
  16. Industry Day: Abstracts of Invited Talks

  17. Back Matter

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
  • Buy this book on publisher's site