Skip to main content
  • Conference proceedings
  • © 2007

Formal Methods and Software Engineering

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

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

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 2007.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

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

Table of contents (22 papers)

  1. Front Matter

  2. Security and Knowledge

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

      • Jeremy W. Bryans, John S. Fitzgerald
      Pages 37-56
    2. A Verification Framework for Agent Knowledge

      • Jin Song Dong, Yuzhang Feng, Ho-fung Leung
      Pages 57-75
  3. 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
  4. Testing

    1. Testing for Refinement in CSP

      • Ana Cavalcanti, Marie-Claude Gaudel
      Pages 151-170
    2. Reducing Test Sequence Length Using Invertible Sequences

      • Lihua Duan, Jessica Chen
      Pages 171-190
  5. Automated Analysis

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

      • Kuntal Das Barman, Debapriyay Mukhopadhyay
      Pages 232-245
  6. 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
  7. Concurrency

Other Volumes

  1. Formal Methods and Software Engineering

Keywords

  • automata
  • dependable systems
  • design patterns
  • distributed testing
  • embedded systems
  • formal methods
  • formal software development
  • formal verification
  • model checking
  • modeling
  • programming paradigms
  • semantic Web services
  • semantics
  • systems analysis
  • verification

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions