Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications

TL;DR

This volume compiles research and discussions from the 2nd French Singaporean Workshop on Formal Methods and Applications, focusing on formal specification, verification, and their applications in computer science and aerospace.

Contribution

It presents new collaborative research efforts and insights in formal methods, fostering international cooperation and advancing applications in aerospace and software engineering.

Findings

Enhanced understanding of formal methods in aerospace

New approaches to model checking and verification

Promoted international research collaborations

Abstract

This volume contains the proceedings of the 2nd French Singaporean Workshop on Formal Methods and Applications (FSFMA'14). The workshop was held in Singapore on May 13th, 2014, as a satellite event of the 19th International Symposium on Formal Methods (FM'14). FSFMA aims at sharing research interests and launching collaborations in the area of formal methods and their applications. The scientific subject of the workshop covers (but is not limited to) areas such as formal specification, model checking, verification, program analysis/transformation, software engineering, and applications in major areas of computer science, including aeronautics and aerospace. The workshop brings together researchers and industry R&D experts from France, Singapore and other countries together to exchange their knowledge, discuss their research findings, and explore potential collaborations. This volume contains eight contributions: four invited talks and four regular papers.