10. ICFEM 2008: Kitakyushu-City, Japan

Shaoying Liu, T. S. E. Maibaum, Keijiro Araki (Eds.): Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science 5256 Springer 2008, ISBN 978-3-540-88193-3

Invited Talks

Takuya Katayama:
How Can We Make Industry Adopt Formal Methods? 1
Jeff Offutt:
Programmers Ain't Mathematicians, and Neither Are Testers. 2
John Hatcliff:
Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows. 3-4

Specification and Verification

Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang:
Specifying and Verifying Event-Based Fairness Enhanced Systems. 5-24
Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial:
Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. 25-44

Testing

Dirk Seifert:
Conformance Testing Based on UML State Machines. 45-65
Lihua Duan, Jessica Chen:
An Approach to Testing with Embedded Context Using Model Checker. 66-85
Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl:
Requirements Coverage as an Adequacy Measure for Conformance Testing. 86-104

Verification 1

Björn Metzler, Heike Wehrheim, Daniel Wonisch:
Decomposition for Compositional Verification. 105-125
Florin Craciun, Shengchao Qin, Wei-Ngan Chin:
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. 126-146
Marieke Huisman, Irem Aktug, Dilian Gurov:
Program Models for Compositional Verification. 147-166

Model Checking and Analysis

Zhenhua Duan, Cong Tian:
A Unified Model Checking Approach with Projection Temporal Logic. 167-186
Kazuhiro Ogata, Kokichi Futatsugi:
Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. 187-206
Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis:
Towards Abstraction for DynAlloy Specifications. 207-225

Verification 2

Matthew Staats, Mats Per Erik Heimdahl:
Partial Translation Verification for Untrusted Code-Generators. 226-237
Farhad Mehta:
A Practical Approach to Partiality - A Proof Based Approach. 238-257
Nick Moffat, Michael Goldsmith, Bill Roscoe:
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. 258-277

Tools

Michael Leuschel, Marc Fontaine:
Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. 278-297
Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Practical Automated Partial Verification of Multi-paradigm Real-Time Models. 298-317

Application of Formal Methods

Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang:
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. 318-337
Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang:
Correct Channel Passing by Construction. 338-354

Semantics

Peter Y. H. Wong, Jeremy Gibbons:
A Process Semantics for BPMN. 355-374
Lijun Shan, Hong Zhu:
A Formal Descriptive Semantics of UML. 375-396