Formal Methods and Software Engineering

Invited Talks.- How Can We Make Industry Adopt Formal Methods?.- Programmers Ain't Mathematicians, and Neither Are Testers.- Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows.- Specification and Verification.- Specifying and Verifying Event-Based Fairness Enhanced Systems.- Modelling and Proof of a Tree-Structured File System in Event-B and Rodin.- Testing.- Conformance Testing Based on UML State Machines.- An Approach to Testing with Embedded Context Using Model Checker.- Requirements Coverage as an Adequacy Measure for Conformance Testing.- Verification 1.- Decomposition for Compositional Verification.- A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm.- Program Models for Compositional Verification.- Model Checking and Analysis.- A Unified Model Checking Approach with Projection Temporal Logic.- Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes.- Towards Abstraction for DynAlloy Specifications.- Verification 2.- Partial Translation Verification for Untrusted Code-Generators.- A Practical Approach to Partiality - A Proof Based Approach.- A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking.- Tools.- Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool.- Practical Automated Partial Verification of Multi-paradigm Real-Time Models.- Application of Formal Methods.- Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.- Correct Channel Passing by Construction.- Semantics.- A Process Semantics for BPMN.- A Formal Descriptive Semantics of UML.