© 2004

Integrated Formal Methods

4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings

  • Eerke A. Boiten
  • John Derrick
  • Graeme Smith
Conference proceedings IFM 2004

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani
      Pages 1-20
    2. Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin
      Pages 21-35
  3. Tutorial

  4. Contributed Papers

    1. Bill J. Ellis, Andrew Ireland
      Pages 67-86
    2. Steve Schneider, Helen Treharne
      Pages 87-107
    3. Adalberto Farias, Alexandre Mota, Augusto Sampaio
      Pages 108-127
    4. Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha
      Pages 128-147
    5. Kirsten Winter
      Pages 148-167
    6. Jin Song Dong, Shengchao Qin, Jun Sun
      Pages 168-186
    7. K. Lano, D. Clark, K. Androutsopoulos
      Pages 187-206
    8. Tiberiu Seceleanu, Juha Plosila
      Pages 227-246
    9. Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim
      Pages 267-286
    10. Cécile Bui Thanh, Hanna Klaudel
      Pages 287-306
    11. Gabriel Ciobanu, Dorel Lucanu
      Pages 307-327
    12. Tim A. C. Willemse
      Pages 343-362

About these proceedings


The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent. Kent is situated in the southeast of England, and the university sits on a hill overlooking the city of Canterbury and its world-renowned cathedral. The UniversityofKentwasgranteditsRoyalCharterin1965.Todaytherearealmost 10,000 full-time and part-time students, with over 110 nationalities represented. The IFM meetings have proven to be particularly successful. The ?rst m- ting was held in York in 1999, and subsequently we held events in Germany in 2000, and then Finland in 2002. The conferences are held every 18 months or so, and attract a wide range of participants from Europe, the Americas, Asia and Australia. The conference is now ?rmly part of the formal methods conference calendar. The conference has also evolved in terms of themes and subjects - presented, and this year, in line with the subject as a whole, we saw more work on veri?cation as some of the challenges in this subject are being met. The work reported at IFM conferences can be seen as part of the attempt to manage complexity by combining paradigms of speci?cation and design, so that the most appropriate design tools are used at di?erent points in the life-cycle.


Unified Modeling Language (UML) automata calculus component systems formal method formal methods logic model checking modeling object-oriented modeling process algebra program analysis programming refinement verification

Editors and affiliations

  • Eerke A. Boiten
    • 1
  • John Derrick
    • 2
  • Graeme Smith
    • 3
  1. 1.Computing LaboratoryUniversity of KentCanterbury, KentUK
  2. 2.Department of ComputingUniversity of SheffieldSheffieldUK
  3. 3.School of Information Technology and Electrical EngineeringThe University of QueenslandAustralia

Bibliographic information