Advertisement

Integrated Formal Methods

8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

  • Dominique Méry
  • Stephan Merz
Conference proceedings IFM 2010

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

Table of contents

  1. Front Matter
  2. John Fitzgerald, Peter Gorm Larsen, Ken Pierce, Marcel Verhoef, Sune Wolff
    Pages 12-26
  3. Rajeev Joshi
    Pages 27-27
  4. Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, Michael D. Wilson
    Pages 28-42
  5. Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
    Pages 43-58
  6. Hanifa Boucheneb, Abdessamad Imine, Manal Najem
    Pages 89-104
  7. Matthias Daum, Norbert W. Schirmer, Mareike Schmidt
    Pages 105-120
  8. Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans
    Pages 152-167
  9. Martin Fränzle, Tino Teige, Andreas Eggers
    Pages 168-182
  10. Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim
    Pages 183-198
  11. Kevin Lano, Shekoufeh Kolahdouz-Rahimi
    Pages 199-214
  12. Stefano Marrone, Camilla Papa, Valeria Vittorini
    Pages 215-228
  13. Radu Mateescu, Gwen Salaün
    Pages 229-244
  14. Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau
    Pages 245-259
  15. Steve Schneider, Helen Treharne, Heike Wehrheim
    Pages 260-274
  16. Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
    Pages 275-289
  17. Thi Mai Thuong Tran, Martin Steffen
    Pages 290-304
  18. Javier de Dios, Manuel Montenegro, Ricardo Peña
    Pages 305-319
  19. Back Matter

About these proceedings

Keywords

Java Simulation boogie2 embedded systems formal methods formal modeling model checking modeling programming semi-formal modeling software engineering software verification spec# structured design verification

Editors and affiliations

  • Dominique Méry
    • 1
  • Stephan Merz
    • 1
  1. 1.INRIA Nancy-Grand Est & LORIABâtiment B, équipe MOSELVillers-lès-Nancy cédexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-16265-7
  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16264-0
  • Online ISBN 978-3-642-16265-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site