<pre>Applying formal methods may involve the modeling of different aspects of a system that are expressed through different paradigms. Correspondingly, different analysis techniques will be used to examine differently modeled system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into the combination of (formal and semi–formal) methods for system development, regarding modeling and analysis, and covering 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: – Case Studies; – Experience reports; – Formal and semiformal modelling notations; – Integration of formal methods into software engineering practice; – Logics; – Model checking; – Model transformations; – Semantics; – Static Analysis; – Refinement; – Theorem proving; – Tools; – Type Systems; – Verification<br></pre>
Abbrevation
iFM
City
Pisa
Country
Italy
Deadline Paper
Start Date
End Date
Abstract