Skip to main content
SpringerLink
Log in
Download book PDF
Book cover
  • Conference proceedings
  • © 2012

Formal Methods and Software Engineering

14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings

Editors:

  1. Toshiaki Aoki

    1. Japan Advanced Institute of Science and Technology (JAIST), Nuomi, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Kenji Taguchi

    1. National Institute of Advanced Industrial Science and Technology (AIST), Amagasaki, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

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

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

Conference series link(s): ICFEM: International Conference on Formal Engineering Methods

Conference proceedings info: ICFEM 2012.

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Table of contents (34 papers)

  1. Front Matter

    PDF

  3. Concurrency

    1. Variable Permissions for Concurrency Verification

      • Duy-Khanh Le, Wei-Ngan Chin, Yong-Meng Teo
      Pages 5-21
      PDF

    2. A Concurrent Temporal Programming Model with Atomic Blocks

      • Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng
      Pages 22-37
      PDF
    3. PDF

  4. Applications of Formal Methods to New Areas

    1. Towards a Formal Verification Methodology for Collective Robotic Systems

      • Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla et al.
      Pages 54-70
      PDF

    2. Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS

      • Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
      Pages 71-86
      PDF
    3. PDF

  5. Quantity and Probability

    1. Quantitative Program Dependence Graphs

      • Chunyan Mu
      Pages 103-118
      PDF

    2. Quantitative Analysis of Information Flow Using Theorem Proving

      • Tarek Mhamdi, Osman Hasan, Sofiène Tahar
      Pages 119-134
      PDF

    3. Modeling and Verification of Probabilistic Actor Systems Using pRebeca

      • Mahsa Varshosaz, Ramtin Khosravi
      Pages 135-150
      PDF

  6. Formal Verification

    1. Modular Verification of OO Programs with Interfaces

      • Qiu Zongyan, Hong Ali, Liu Yijing
      Pages 151-166
      PDF

    2. Separation Predicates: A Taste of Separation Logic in First-Order Logic

      • François Bobot, Jean-Christophe Filliâtre
      Pages 167-181
      PDF

    3. The Confinement Problem in the Presence of Faults

      • William L. Harrison, Adam Procter, Gerard Allwein
      Pages 182-197
      PDF

  7. Modeling and Development Methodology

    1. Verification of ATL Transformations Using Transformation Models and Model Finders

      • Fabian Büttner, Marina Egea, Jordi Cabot, Martin Gogolla
      Pages 198-213
      PDF

    2. Automatic Generation of Provably Correct Embedded Systems

      • Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong
      Pages 214-229
      PDF

    3. Complementary Methodologies for Developing Hybrid Systems with Event-B

      • Wen Su, Jean-Raymond Abrial, Huibiao Zhu
      Pages 230-248
      PDF

  8. Temporal Logics

    1. A Temporal Logic with Mean-Payoff Constraints

      • Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki
      Pages 249-265
      PDF
Back to top

Other Volumes

  1. Formal Methods and Software Engineering

Back to top

About this book

This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Japan Advanced Institute of Science and Technology (JAIST), Nuomi, Japan

    Toshiaki Aoki

  • National Institute of Advanced Industrial Science and Technology (AIST), Amagasaki, Japan

    Kenji Taguchi

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Download book PDF

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation