Skip to main content
SpringerLink
Log in
Book cover

Formal Methods and Software Engineering

11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Karin Breitman

    1. Coordenadora da Engenharia de Computação, Diretora de Publicações da SBC, Depto. Informática, ontifícia Universidade Católica do Rio de Janeiro, ,, Rio de Jan,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ana Cavalcanti

    1. Department of Computer Science, University of York, ,, York, UK,

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: ICFEM 2009.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (38 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Seamless Model Driven Systems Engineering Based on Formal Models

      • Manfred Broy
      Pages 1-19

    2. Compositional Verification of Input-Output Conformance via CSP Refinement Checking

      • Augusto Sampaio, Sidney Nogueira, Alexandre Mota
      Pages 20-48

  3. Testing I

    1. Symbolic Query Exploration

      • Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
      Pages 49-68

    2. Event Listener Analysis and Symbolic Execution for Testing GUI Applications

      • Svetoslav Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry
      Pages 69-87

    3. An Empirical Study of Structural Constraint Solving Techniques

      • Junaid Haroon Siddiqui, Sarfraz Khurshid
      Pages 88-106

  4. Protocols

    1. Improving Automatic Verification of Security Protocols with XOR

      • Xihui Chen, Ton van Deursen, Jun Pang
      Pages 107-126

    2. Modeling and Verification of Privacy Enhancing Protocols

      • Suriadi Suriadi, Chun Ouyang, Jason Smith, Ernest Foo
      Pages 127-146

    3. Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support

      • Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith
      Pages 147-166

  5. Testing II

    1. Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing

      • Maximiliano Cristiá, Pablo Rodríguez Monetti
      Pages 167-185

    2. A Statistical Approach to Test Stochastic and Probabilistic Systems

      • Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana Cavalli
      Pages 186-205

    3. Qualitative Action Systems

      • Bernhard K. Aichernig, Harald Brandl, Willibald Krenn
      Pages 206-225

  6. Verification

    1. RAFFS: Model Checking a Robust Abstract Flash File Store

      • Paul Taverne, C. (Kees) Pronk
      Pages 226-245

    2. European Train Control System: A Case Study in Formal Verification

      • André Platzer, Jan-David Quesel
      Pages 246-265

    3. Development of Security Software: A High Assurance Methodology

      • David Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas Wagner, Michael Whalen
      Pages 266-285

  7. Model Checking I

    1. Bounded Semantics of CTL and SAT-Based Verification

      • Wenhui Zhang
      Pages 286-305

    2. Graded-CTL: Satisfiability and Symbolic Model Checking

      • Alessandro Ferrante, Margherita Napoli, Mimmo Parente
      Pages 306-325

    3. Approximate Model Checking of PCTL Involving Unbounded Path Properties

      • Samik Basu, Arka P. Ghosh, Ru He
      Pages 326-346

  8. Object-Orientation

    1. A Graph-Based Operational Semantics of OO Programs

      • Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao
      Pages 347-366

    2. Modeling and Analysis of Thread-Pools in an Industrial Communication Platform

      • Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi
      Pages 367-386
Back to top

Other volumes

  1. Formal Methods and Software Engineering

Keywords

About this book

Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design techniques, and veri?cation methods and tools have been developed and applied to the construction of programs used in critical applications. The ch- lenge now is to scale up formal methods and integrate them into engineering - velopment processes for the correct and e?cient construction and maintenance of computer systems in general. This requires us to improve the state of the art on approaches and techniques for integration of formal methods into industrial engineering practice, including new and emerging practice. The now long-established series of International Conferences on Formal - gineering Methods brings together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend and to help - vance the state of the art. This volume contains the papers presented at ICFEM 2009, the 11th International Conference on Formal Engineering Methods, held during December 9–11, in Rio de Janeiro, Brazil.

Editors and Affiliations

  • Coordenadora da Engenharia de Computação, Diretora de Publicações da SBC, Depto. Informática, ontifícia Universidade Católica do Rio de Janeiro, ,, Rio de Jan,  

    Karin Breitman

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

    Ana Cavalcanti

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation