Integrated Formal Methods

6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

  • Editors
  • Jim Davies
  • Jeremy Gibbons
Conference proceedings IFM 2007

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

Table of contents

  1. Front Matter
  2. Nazareno Aguirre, Germán Regis, Tom Maibaum
    Pages 1-20
  3. Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi
    Pages 37-53
  4. Andrew Butterfield, Adnan Sherif, Jim Woodcock
    Pages 75-97
  5. Jens Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova
    Pages 98-117
  6. Alessandra Cavarra, James Welch
    Pages 118-137
  7. Yifeng Chen
    Pages 138-155
  8. Robert Colvin, Lars Grunske, Kirsten Winter
    Pages 156-175
  9. Jean-François Couchot, Frédéric Dadeau
    Pages 176-194
  10. John Derrick, Gerhard Schellhorn, Heike Wehrheim
    Pages 195-214
  11. Steve Dunne, Andy Galloway
    Pages 215-232
  12. Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans
    Pages 233-252
  13. Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader
    Pages 253-272
  14. Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik
    Pages 273-292
  15. Stefan Hallerstede, Thai Son Hoang
    Pages 293-312
  16. Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
    Pages 313-332
  17. He Jifeng
    Pages 353-372

About these proceedings

Keywords

Linux automata case studies component systems constraint satisfaction device driver formal method formal methods formal semantics formal specification formal validation logic modeling real-time semantics

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-73210-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73209-9
  • Online ISBN 978-3-540-73210-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology