Formal Methods Europe ( FME ) — организация, целью которой является поощрение исследований и применения формальных методов для улучшения программного и аппаратного обеспечения в компьютерных системах. В состав ассоциации входят представители научных кругов и промышленности . Он базируется в Европе , но носит международный характер. FME действует в соответствии с законодательством Нидерландов .
Промышленная ассоциация формальных методов ( ForTIA ) стремилась поддержать промышленное использование формальных методов под эгидой организации Formal Methods Europe . Он был основан в 2003 году благодаря первоначальным усилиям Дайнеса Бьёрнера и возглавлялся, в частности, Энтони Холлом и Фолькмаром Лотцем. Его сфера охвата была международной, а членство осуществлялось по компаниям. Он организовывал встречи, особенно в связи с конференциями, например, отраслевые дни на конференциях FM, организованных FME. [3] [4]