Skip to main content
SpringerLink
Log in

Formal Methods and Software Engineering

9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Michael Butler
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael G. Hinchey
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. María M. Larrondo-Petrie
    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 4789)

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

Included in the following conference series:

Conference proceedings info: ICFEM 2007.

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 (22 papers)

  1. Front Matter

    Download chapter PDF

  3. Security and Knowledge

    1. Integrating Formal Methods with System Management

      • Martin de Groot
      Pages 19-36

    2. Formal Engineering of XACML Access Control Policies in VDM++

      • Jeremy W. Bryans, John S. Fitzgerald
      Pages 37-56

    3. A Verification Framework for Agent Knowledge

      • Jin Song Dong, Yuzhang Feng, Ho-fung Leung
      Pages 57-75

  4. Embedded Systems

    1. From Model-Based Design to Formal Verification of Adaptive Embedded Systems

      • Rasmus Adler, Ina Schaefer, Tobias Schuele, Eric Vecchié
      Pages 76-95

    2. Machine-Assisted Proof Support for Validation Beyond Simulink

      • Chunqing Chen, Jin Song Dong, Jun Sun
      Pages 96-115

    3. VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System

      • Jacques Julliand, Hassan Mountassir, Emilie Oudot
      Pages 116-135

  5. Testing

    1. Integrating Specification-Based Review and Testing for Detecting Errors in Programs

      • Shaoying Liu
      Pages 136-150

    2. Testing for Refinement in CSP

      • Ana Cavalcanti, Marie-Claude Gaudel
      Pages 151-170

    3. Reducing Test Sequence Length Using Invertible Sequences

      • Lihua Duan, Jessica Chen
      Pages 171-190

  6. Automated Analysis

    1. Model Checking with SAT-Based Characterization of ACTL Formulas

      • Wenhui Zhang
      Pages 191-211

    2. Automating Refinement Checking in Probabilistic System Design

      • C. Gonzalia, A. McIver
      Pages 212-231

    3. Model Checking in Practice: Analysis of Generic Bootloader Using SPIN

      • Kuntal Das Barman, Debapriyay Mukhopadhyay
      Pages 232-245

    4. Model Checking Propositional Projection Temporal Logic Based on SPIN

      • Cong Tian, Zhenhua Duan
      Pages 246-265

  7. Hardware

    1. A Denotational Semantics for Handel-C Hardware Compilation

      • Juan Ignacio Perna, Jim Woodcock
      Pages 266-285

    2. Automatic Generation of Verified Concurrent Hardware

      • Marcel Oliveira, Jim Woodcock
      Pages 286-306

    3. Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking

      • Guillermo Rodriguez-Navas, Julián Proenza, Hans Hansson
      Pages 307-326

  8. Concurrency

    1. Efficient Symbolic Execution of Large Quantifications in a Process Algebra

      • Benoît Fraikin, Marc Frappier
      Pages 327-344
Back to top

Other volumes

  1. Formal Methods and Software Engineering

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation