iFM 2016 - 12th International Conference on integrated Formal Methods

Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.
Areas of interest include but are not limited to:
Formal and semi-formal modelling notations
Integration of formal methods into software engineering practice
Hybrid systems
Program verification
Program synthesis
Model checking
Static analysis
Runtime analysis, monitoring, performance evaluation
Decision procedures, SAT and SMT solving
Software engineering
Component-based systems (compositional, embedded, distributed,...)
Testing
Abstraction and refinement