Skip to main content
  • Conference proceedings
  • © 2012

Integrated Formal Methods

9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

  • Up to date results

  • State of the art research

  • Fast track conference proceedings

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): IFM: International Conference on Integrated Formal Methods

Conference proceedings info: IFM 2012.

Buying options

eBook USD 69.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-30729-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 89.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (24 papers)

  1. Front Matter

  2. Contribution to a Rigorous Analysis of Web Application Frameworks

    • Egon Börger, Antonio Cisternino, Vincenzo Gervasi
    Pages 1-20
  3. Translating TLA +  to B for Validation with ProB

    • Dominik Hansen, Michael Leuschel
    Pages 24-38
  4. Safety and Line Capacity in Railways – An Approach in Timed CSP

    • Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach
    Pages 54-68
  5. Refinement-Based Development of Timed Systems

    • Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain
    Pages 69-83
  6. Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports

    • Tim Blackmore, David Halliwell, Philip Barker, Kerstin Eder, Naresh Ramaram
    Pages 84-98
  7. Model Checking as Static Analysis: Revisited

    • Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson
    Pages 99-112
  8. Formal Verification of Compiler Transformations on Polychronous Equations

    • Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard
    Pages 113-127
  9. Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples

    • Herbert Rocha, Raimundo Barreto, Lucas Cordeiro, Arilo Dias Neto
    Pages 128-142
  10. MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis

    • Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
    Pages 143-157
  11. Mechanized Extraction of Topology Anti-patterns in Wireless Networks

    • Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi
    Pages 158-173
  12. A Proof Framework for Concurrent Programs

    • Leonard Lensink, Sjaak Smetsers, Marko van Eekelen
    Pages 174-190
  13. A UTP Semantics of pGCL as a Homogeneous Relation

    • Riccardo Bresciani, Andrew Butterfield
    Pages 191-205
  14. Behaviour-Based Cheat Detection in Multiplayer Games with Event-B

    • HaiYun Tian, Phillip J. Brooke, Anne-Gwenn Bosser
    Pages 206-220
  15. Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems

    • Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
    Pages 221-236
  16. Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B

    • Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
    Pages 237-252
  17. Partially-Supervised Plants: Embedding Control Requirements in Plant Components

    • Jasen Markovski, Dirk A. van Beek, Jos Baeten
    Pages 253-267
  18. Early Fault Detection in Industry Using Models at Various Abstraction Levels

    • Jozef Hooman, Arjan J. Mooij, Hans van Wezep
    Pages 268-282

Other Volumes

  1. Integrated Formal Methods

    9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

About this book

This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.

Keywords

  • B-method
  • compliance checking
  • hybrid methods
  • model checking
  • runtime model generation
  • algorithm analysis and problem complexity

Editors and Affiliations

  • Department of Computer Science, University of Sheffield, Sheffield, UK

    John Derrick

  • Consiglio Nazionale delle Ricerche, Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, Pisa, Italy

    Stefania Gnesi, Diego Latella

  • Department of Computing, University of Surrey, Surrey, UK

    Helen Treharne

Bibliographic Information

Buying options

eBook USD 69.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-30729-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 89.99
Price excludes VAT (USA)