=== Objectives and scope ===<br>Applying formal methods may involve the usage of different formalisms<br>and different analysis techniques to validate a system, either because<br>individual components are most amenable to one formalism or technique,<br>because one is interested in different properties of the system, or<br>simply to cope with the sheer complexity of the system. The iFM<br>conference series seeks to further research into hybrid approaches to<br>formal modeling and analysis: the combination of (formal and<br>semi–formal) methods for system development, regarding both modeling<br>and analysis. The conference covers all aspects from language design<br>through verification and analysis techniques to tools and their<br>integration into software engineering practice.<br>Areas of interest include but are not limited to:<br>– Formal and semi–formal modelling notations<br>– Combining formal methods<br>– Integration of formal methods into software engineering practice<br>– Program verification, model checking, and static analysis<br>– Theorem proving, decision procedures, SAT/SMT solving<br>– Runtime analysis, monitoring, and testing<br>– Program synthesis<br>– Analysis and synthesis of hybrid, embedded, probabilistic, distributed,<br>or concurrent systems<br>– Abstraction and refinement<br>– Model learning and inference<br>
Abbrevation
iFM
City
Bergen
Country
Norway
Deadline Paper
Start Date
End Date
Abstract