The 6th International Workshop on the use of AI in Formal Methods (AI4FM 2015) will be held on the 1st of September, 2015 in Edinburgh, Scotland.
The workshop is colocated with the 15th International Workshop on Automated Verification of Critical Systems (AVoCS’15).
We encourage to submit short contributions to present at the AI4FM 2015 workshop. Please see the call for papers for more details.
The AI4FM workshops bring together researchers from formal methods, automated reasoning and AI; aiming to address the issue of how AI can be used to support the formal software development process, including requirement analysis, modelling and proof. The workshops include a mix of industrial and academic participants and we anticipate attracting a similarly diverse audience in AI4FM 2015.
Rigorous software development using formal methods allows the construction of an accurate characterisation of a problem domain that is firmly based on mathematics; by applying standard mathematical analyses, these methods can be used to prove that systems satisfy formal specifications. Research has shown that with tools backed by mature theory, formal methods are becoming cost effective and their use is easier to justify, not as an academic exercise, legal requirement or niche markets - but as part of a business case. However, while industrial use of formal methods is increasing, in order to make it more mainstream, the cost of applying formal methods, in terms of mathematical skill level and development time, must still be reduced. We believe that AI can help with these issues.