Welcome to the web pages of FME, 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 through ForTIA, the formal techniques industry association.
On these pages you will find information about formal methods and about FME, our events and activities. Membership of FME is open to anyone willing to help the association achieve its aims and is free of charge. If you have any comments or suggestions about this website or its contents, please contact the webmaster.