International Conference on Formal Methods in Software Engineering
摘要截稿: 2019-01-11
全文截稿: 2019-01-18
开会时间: 2019-05-27
会议难度:
CCF分类: 无
会议地点: Montréal, Canada.
Overview
Areas of interest include but are not limited to:
verification and validation of cyber-physical systems, IoT systems, and autonomous systems;
integration of FMs with the rest of the software development lifecycle;
use of formal methods in Continuous Integration & Deployment contexts;
rigorous software engineering approaches and their tool support;
model-based approaches, including model-driven development;
scalability of FM applications;
prescriptive/objective guidance in the use of FMs;
FMs in a certification context;
“lightweight” or usable FMs;
formal approaches to safety and security-related issues;
requirements formalization, formal specification, and verification;
performance analysis based on formal approaches;
case studies developed/analyzed with formal approaches;
success stories and/or ability of FMs to handle real-world problems;
experimental validation;
application experiences.