Lecture Notes in Computer Science

Integrated Formal Methods

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

Editors: Boiten, Eerke, Derrick, John, Smith, Graeme (Eds.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-24756-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-540-21377-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (28 chapters)

  • SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft

    Ball, Thomas (et al.)

    Pages 1-20

  • Design Verification for Control Engineering

    Boulton, Richard J. (et al.)

    Pages 21-35

  • Integrating Model Checking and Theorem Proving in a Reflective Functional Language

    Melham, Tom

    Pages 36-39

  • A Tutorial Introduction to Designs in Unifying Theories of Programming

    Woodcock, Jim (et al.)

    Pages 40-66

  • An Integration of Program Analysis and Automated Theorem Proving

    Ellis, Bill J. (et al.)

    Pages 67-86

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-24756-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-540-21377-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Integrated Formal Methods
Book Subtitle
4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
Editors
  • Eerke Boiten
  • John Derrick
  • Graeme Smith
Series Title
Lecture Notes in Computer Science
Series Volume
2999
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-24756-2
DOI
10.1007/b96106
Softcover ISBN
978-3-540-21377-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 548
Topics