© 2005

Integrated Formal Methods

5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

  • Judi Romijn
  • Graeme Smith
  • Jaco van de Pol
Conference proceedings IFM 2005

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis
      Pages 5-19
  3. Session: Components

  4. Session: State/Event-Based Verification

    1. Sagar Chaki, Edmund Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili et al.
      Pages 53-69
    2. Steve Schneider, Helen Treharne, Neil Evans
      Pages 89-108
  5. Session: System Development

    1. Richard F. Paige, Phillip J. Brooke
      Pages 109-128
    2. Lars Grunske, Peter Lindsay, Nisansala Yatapanage, Kirsten Winter
      Pages 129-149
    3. Shane Bracher, Padmanabhan Krishnan
      Pages 150-166
  6. Session: Applications of B

    1. Pontus Boström, Marina Waldén
      Pages 167-186
    2. Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
      Pages 187-206
    3. Frédéric Gervais, Marc Frappier, Régine Laleau
      Pages 207-226
  7. Session: Tool Support

    1. Tim Miller, Leo Freitas, Petra Malik, Mark Utting
      Pages 227-245
    2. Kun Wei, James Heather
      Pages 246-265
    3. Lars M. Kristensen, Michael Westergaard, Peder Christian Nørgaard
      Pages 266-286
  8. Session: Non-software Domains

  9. Session: Semantics

    1. Héctor Ruíz Barradas, Didier Bert
      Pages 327-346

About these proceedings


Attribut Unified Modeling Language (UML) automata calculus component systems constraint satisfaction embedded systems formal method formal methods formal specification formal validation formal verification model checking semantics verification

Editors and affiliations

  • Judi Romijn
    • 1
  • Graeme Smith
    • 2
  • Jaco van de Pol
    • 3
  1. 1.Dept. of Mathematics and Computer ScienceTechnische Universiteit EindhovenEindhovenThe Netherlands
  2. 2.School of Information Technology and Electrical EngineeringThe University of QueenslandAustralia
  3. 3.Formal Methods and Tools, Department of Computer ScienceUniversity of TwenteEnschedeThe Netherlands

Bibliographic information