Advertisement

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
  18. Damien Karkinsky, Steve Schneider, Helen Treharne
    Pages 373-392
  19. Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
    Pages 393-412
  20. Christie Marr (née Bolton)
    Pages 413-438
  21. Daniel Plagge, Michael Leuschel
    Pages 480-500
  22. Rodion Podorozhny, Sarfraz Khurshid, Dewayne Perry, Xiaoqin Zhang
    Pages 501-517
  23. Hendrik Post, Wolfgang Küchlin
    Pages 518-537
  24. Martijn Oostdijk, Vlad Rusu, Jan Tretmans, R. G. de Vries, T. A. C. Willemse
    Pages 538-557
  25. Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee
    Pages 558-578
  26. Daniel Sinnig, Patrice Chalin, Ferhat Khendek
    Pages 579-598
  27. Michael Anthony Smith, Jeremy Gibbons
    Pages 599-618
  28. Marcel Verhoef, Peter Visser, Jozef Hooman, Jan Broenink
    Pages 639-658
  29. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications