Formal Methods Europe ( FME ) es una organización cuyo objetivo es fomentar la investigación y aplicación de métodos formales para la mejora de software y hardware en sistemas informáticos. Los miembros de la asociación provienen de la academia y la industria . Tiene su sede en Europa , pero tiene un alcance internacional. FME opera bajo la ley holandesa .
La Asociación de la Industria de Técnicas Formales ( ForTIA ) tenía como objetivo apoyar el uso industrial de métodos formales bajo la organización general de Métodos Formales Europa . Fue fundado en 2003 a través de los esfuerzos iniciales de Dines Bjørner y fue presidido por Anthony Hall y Volkmar Lotz, entre otros. Su ámbito era internacional y la afiliación era por empresa. Organizó reuniones, especialmente en conjunto con conferencias, por ejemplo, días de la industria en las conferencias FM organizadas por FME. [3] [4]