Skip to main content
SpringerLink
Log in

Formal Methods and Software Engineering

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

  • Conference proceedings
  • © 2012

Overview

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)

Included in the following conference series:

Conference proceedings info: ICFEM 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (34 papers)

  1. Front Matter

    Download chapter PDF

  3. Concurrency

    1. Variable Permissions for Concurrency Verification

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

    2. A Concurrent Temporal Programming Model with Atomic Blocks

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

    3. A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs

      • Granville Barnett, Shengchao Qin
      Pages 38-53

  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

    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

    3. Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic

      • Kazuhiro Ogata, Phan Thi Thanh Huyen
      Pages 87-102

  5. Quantity and Probability

    1. Quantitative Program Dependence Graphs

      • Chunyan Mu
      Pages 103-118

    2. Quantitative Analysis of Information Flow Using Theorem Proving

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

    3. Modeling and Verification of Probabilistic Actor Systems Using pRebeca

      • Mahsa Varshosaz, Ramtin Khosravi
      Pages 135-150

  6. Formal Verification

    1. Modular Verification of OO Programs with Interfaces

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

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

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

    3. The Confinement Problem in the Presence of Faults

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

  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

    2. Automatic Generation of Provably Correct Embedded Systems

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

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

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

  8. Temporal Logics

    1. A Temporal Logic with Mean-Payoff Constraints

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

Other volumes

  1. Formal Methods and Software Engineering

Keywords

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.

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation