+612 9045 4394
 
CHECKOUT
Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings - Michael Butler

Formal Methods and Software Engineering

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

Paperback Published: 7th November 2007
ISBN: 9783540766483
Number Of Pages: 387

Share This Book:

Paperback

$147.02
or 4 easy payments of $36.76 with Learn more
Ships in 5 to 9 business days

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections.

Invited Talks
A System Development Process with Event-B and the Rodin Platformp. 1
Challenges in Software Certificationp. 4
Security and Knowledge
Integrating Formal Methods with System Managementp. 19
Formal Engineering of XACML Access Control Policies in VDM++p. 37
A Verification Framework for Agent Knowledgep. 57
Embedded Systems
From Model-Based Design to Formal Verification of Adaptive Embedded Systemsp. 76
Machine-Assisted Proof Support for Validation Beyond Simulinkp. 96
VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed Systemp. 116
Testing
Integrating Specification-Based Review and Testing for Detecting Errors in Programsp. 136
Testing for Refinement in CSPp. 151
Reducing Test Sequence Length Using Invertible Sequencesp. 171
Automated Analysis
Model Checking with SAT-Based Characterization of ACTL Formulasp. 191
Automating Refinement Checking in Probabilistic System Designp. 212
Model Checking in Practice: Analysis of Generic Bootloader Using SPINp. 232
Model Checking Propositional Projection Temporal Logic Based on SPINp. 246
Hardware
A Denotational Semantics for Handel-C Hardware Compilationp. 266
Automatic Generation of Verified Concurrent Hardwarep. 286
Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checkingp. 307
Concurrency
Efficient Symbolic Execution of Large Quantifications in a Process Algebrap. 327
Formalizing SANE Virtual Processor in Thread Algebrap. 345
Calculating and Composing Progress Properties in Terms of the Leads-to Relationp. 366
Author Indexp. 387
Table of Contents provided by Ingram. All Rights Reserved.

ISBN: 9783540766483
ISBN-10: 3540766480
Series: Lecture Notes in Computer Science
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 387
Published: 7th November 2007
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.5  x 2.31
Weight (kg): 0.61