Formal Methods Europe (FME) is een non-profit organisatie die zich bezig houdt met het bevorderen van het gebruik van formele methoden voor software-ontwikkeling. Door toepassing van formele methoden kan software worden gemaakt met een hoog betrouwbaarheidsgehalte. West maakt deel uit van het bestuur van FME.




