第二届法国 - 新加坡形式方法及其应用研讨会论文集
计算机科学中的逻辑
2014-07-09 v1 软件工程
摘要
本卷收录了第二届法国 - 新加坡形式方法及其应用研讨会 (FSFMA'14) 的论文集。该研讨会于 2014 年 5 月 13 日在新加坡举行，作为第 19 届国际形式方法研讨会 (FM'14) 的卫星会议。FSFMA 旨在分享研究兴趣并启动形式方法及其应用领域的合作。研讨会的科学主题涵盖（但不限于）形式化规范、模型检测、验证、程序分析/转换、软件工程等领域，以及计算机科学主要领域的应用，包括航空与航天。研讨会汇聚了来自法国、新加坡及其他国家的研究人员和工业界研发专家，以交流知识、讨论研究成果并探索潜在的合作。本卷包含八篇贡献文章：四场特邀报告和四篇常规论文。
引用
@article{arxiv.1407.1952,
title = {Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications},
author = {Shang-Wei Lin and Laure Petrucci},
journal= {arXiv preprint arXiv:1407.1952},
year = {2014}
}