Formal Methods For Industrial Critical Systems 14th International Workshop Fm

This Volume Contains The Papers Presented At Fmics 2009, The 14th Inter- Tional Workshop On Formal Methods For Industrial Critical Systems,whichwas Held On November 2-3, 2009, In Eindhoven, The Netherlands. Previous Wo- Shops Of The Ercim Working Group On Formal Methods For Industrial Critical Systems Were Held In Oxford (march 1996), Cesena (july 1997), Amsterdam (may 1998), Trento (july 1999), Berlin (april 2000), Paris (july 2001), Malaga (july2002),trondheim(june2003),linz(september 2004),lisbon(september 2005),bonn (august 2006),berlin (july 2007),and Laquila (september 2008). The Aim Of The Fmics Workshop Series Is To Provide A Forum For Researchers Who Are Interested In The Development And Application Of Formal Methods In Industry.