Formal Methods Europe

FME is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software. Formal methods differ from many software engineering techniques in that they stress the importance of a rigorous semantic basis for the tools and notations used. Such sound foundations permit the analysis of computing system designs to a depth that is otherwise impossible to achieve.

FME’s aim is to encourage formal methods research and application. The association’s members are drawn equally from academic institutes and commercial companies. Our activities include the dissemination of research findings and industrial experience though our symposia and sponsored events; the development of information resources for educators; and a networking function for commercial practitioners.

On this YouTube channel you will find videos featuring content related to formal methods, FME activities and associated events.